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

Bibliographic Details
Main Authors:	Алешина, Н. А. Наталия Альбертовна (Author), Анисов, А. М. Александр Михайлович (Author), Быстров, П. И. Петр Иванович (Author), Герасимова, И. А. (Author), Меськов, В. С. (Author)
Corporate Author:	Академия наук СССР
Other Authors:	Смирнова, Е. Д. Елена Дмитриевна (Editor)
Format:	Book
Published:	М.: Наука 1990
Series:	Кибернетика - неограниченные возможности и возможные ограничения
Subjects:	компьютеры логика программирование логическое программирование
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items