Шифр: 510.6 Л69
Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е.Д. Смирнова; АН СССР. – М. : Наука, 1990. – 238 с. : Ил. – (Кибернетика - неогранич. возможности и возмож. ограничения). – ISBN 5-02-007156-0. – 0,65
Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е.Д. Смирнова; АН СССР. – М. : Наука, 1990. – 238 с. : Ил. – (Кибернетика - неогранич. возможности и возмож. ограничения). – ISBN 5-02-007156-0. – 0,65
Статистика використання: Видач: 1
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 5 | 5 |