Замовлення документа
| 004.3 | | Л69 |
Логика и компьютер [Текст] : Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров, И. А. Герасимова. — М. : Наука, 1990. — 238 с. — (Кибернетика - неограниченные возможности и возможные ограничения).
|
| | 004.38:510.6 |
| ISBN 5-02-007156-0 | |
|
