Логика и компьютер: Моделирование рассуждений и проверка правильности программ/

Библиографическая информация
Главные авторы:	Алешина, Н. А. Наталия Альбертовна (Автор), Анисов, А. М. Александр Михайлович (Автор), Быстров, П. И. Петр Иванович (Автор), Герасимова, И. А. (Автор), Меськов, В. С. (Автор)
Соавтор:	Академия наук СССР
Другие авторы:	Смирнова, Е. Д. Елена Дмитриевна (Редактор)
Формат:	Книга
Публикация:	М.: Наука 1990
Серии:	Кибернетика - неограниченные возможности и возможные ограничения
Предметы:	компьютеры логика программирование логическое программирование
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы