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

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

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

Similar Items

Similar Items