Логика и компьютер: моделирование рассуждений и проверка правильности программ / [Н. А. Алешина и др.
Сохранено в:
Вид документа: | |
---|---|
Опубликовано: | Москва : Наука , 1990 |
Физические характеристики: |
238, [1] с. : ил. ; 20 см
|
Язык: | Русский |
Серия: |
Серия "Кибернетика ― неограниченные возможности и возможные ограничения"
|
Предмет: |
ОФХ отдела книгохранения
Всего : 2 , доступно: 2 | Доступно Заказать | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|