|
|
|
|
| LEADER |
01628nam0a2200337 i 4500 |
| 001 |
0380B3C3-484A-4A95-92B9-569CC0D62CD9 |
| 010 |
|
|
|a 5-02-007156-0
|d р.0.65
|
| 100 |
|
|
|a 20090226d1990 |||y0rusy02
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a ||||000zy
|
| 200 |
1 |
|
|a Логика и компьютер
|e моделирование рассуждений и проверка правильности прогр.
|f [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова; авт. предисл. И. М. Макаров]; АН СССР
|g АН СССР
|
| 210 |
|
|
|a Москва
|c Наука
|d 1990
|
| 215 |
|
|
|a 238, [1]с.
|c ил.
|d 20 см
|
| 225 |
2 |
|
|a Серия "Кибернетика - неограниченные возможности и возможные ограничения"
|
| 300 |
|
|
|a Авт. указаны на обороте тит. л.
|
| 320 |
|
|
|a Библиогр.: с. 231-235 (52 назв.)
|
| 606 |
|
|
|a Вычислительные машины электронные
|x Программирование
|x Логические основы
|
| 686 |
|
|
|a 32.973.2-018
|2 rubbk
|
| 686 |
|
|
|a 50
|2 rugasnti
|
| 701 |
|
1 |
|a Алешина
|b Н. А.
|g Наталия Альбертовна
|
| 701 |
|
1 |
|a Анисов
|b А. М.
|
| 701 |
|
1 |
|a Быстров
|b П. И.
|
| 702 |
|
1 |
|a Смирнова
|b Е. Д.
|g Елена Дмитриевна
|4 340
|
| 702 |
|
1 |
|a Макаров
|b И. М.
|4 080
|
| 711 |
0 |
2 |
|a АН СССР
|
| 712 |
0 |
2 |
|a АН СССР
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20090226
|
