|
|
|
|
| LEADER |
01497nam0a2200313 i 4500 |
| 001 |
2999B870-9692-42DA-AE57-C30D47A4BCA0 |
| 010 |
|
|
|d р.0.25
|
| 100 |
|
|
|a 20120323d1965 m y0rusy02 ca
|
| 101 |
0 |
|
|a rus
|c rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 000#y
|
| 200 |
1 |
|
|a Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
|f Н. А. Шанин [и др.]
|g Акад. наук СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние
|
| 210 |
|
|
|a Москва
|a Ленинград
|c Наука, [Ленинградское отделение]
|d 1965
|
| 215 |
|
|
|a 39с.
|d 26 см
|
| 606 |
|
|
|a Математическая логика
|
| 610 |
1 |
|
|a высказывания (логика)
|
| 686 |
|
|
|a 22.1
|2 rubbk
|
| 686 |
|
|
|a 27
|2 rugasnti
|
| 701 |
|
1 |
|a Шанин
|b Н. А.
|g Николай Александрович
|
| 701 |
|
1 |
|a Давыдов
|b Г. В.
|
| 701 |
|
1 |
|a Маслов
|b С. Ю.
|
| 711 |
0 |
2 |
|a Академия наук СССР
|
| 711 |
0 |
2 |
|a Математический институт им. В. А. Стеклова
|b Ленинградское отделение
|
| 712 |
0 |
2 |
|a Академия наук СССР
|
| 712 |
0 |
2 |
|a Математический институт им. В. А. Стеклова
|b Ленинградское отделение
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20120323
|
