Metody i algoritmy induktivnogo vyvoda /
Saved in:
| OCLC: | 22004205 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Language: | Russian |
| Published: |
Leningrad :
Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii,
1989.
|
| Subjects: | |
| Format: | Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01300aam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | in00005510311 | ||
| 003 | OCoLC | ||
| 005 | 19950225153814.0 | ||
| 008 | 900626s1989 ru a b 000 0 ruso | ||
| 010 | |a 90169718 | ||
| 035 | |a (OCoLC)22004205 | ||
| 040 | |a DLC |c DLC |d CRL | ||
| 049 | |a CRLL | ||
| 099 | |a R-19181 | ||
| 100 | 1 | |a L︠i︡ashenko, N. N. | |
| 245 | 1 | 0 | |a Metody i algoritmy induktivnogo vyvoda / |c N.N. L︠i︡ashenko ; otvetstvevnnyĭ redaktor V.M. Ponomarev. |
| 260 | |a Leningrad : |b Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii, |c 1989. | ||
| 300 | |a 127 p. : |b ill. ; |c 21 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 504 | |a Includes bibliographical references (p. 125-127) | ||
| 650 | 0 | |a Induction (Mathematics) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 700 | 1 | |a Ponomarev, Valentin Mikhaĭlovich. | |
| 907 | |a .b14326577 |b 12-03-21 |c 02-25-95 | ||
| 998 | |a crlm |b 02-25-95 |c m |d - |e - |f rus |g ru |h 0 |i 1 | ||
| 999 | f | f | |i 2c4b0373-dcf9-54cc-9a6e-81c974e1985c |s 72cb45f9-9d0d-5142-b9aa-9a0f6c2aa065 |t 0 |