|
З.81 | Л69 |
Логика и компьютер [Текст] = Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров, В. А. Смирнов. – М. : Наука, 1990. – 240с. : ил. – ("Кибернетика -неограниченные возможности). – 0.65.
|
ISBN 5-02-007156-0 | ББК З.81+З.973.2 |
| |
|