Основное заглавие: Логика и компьютер

Ответственность: Рос. АН; Редкол.: Макаров И. М. (пред.) и др.; Отв. ред. Смирнов В. А.

Физический носитель: Текст

Название части / раздела: Логические языки, содержательные рассуждения и методы поиска доказательств

Год публикации: 1995

Место издания: М.

Издательство: Наука

Объем: 129,(3)с.

ISBN: 5-02-006896-9

Cерия: Кибернетика - неограниченные возможности и возможные ограничения

Ключевые слова: Компьютеры; Логика;

ББК: 87.4+32.973.2

Библиография: Библиогр.: с. 130