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

Ответственность: Рос. АН

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

Название части / раздела: Доказательство и его поиск: (Курс логики и компьютер. практикум)

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

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

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

Объем: 254,(1)с.

ISBN: 5-02-013603-4

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

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

ББК: 87.4+32.973.2

Библиография: Библиогр. в примеч.