Подробности: Метод резолюции в логике предикатов первого порядка , Учеб. пособие , [Для студентов по курсу "Мат. логика и теория алгоритмов"]

Книга

Метод резолюции в логике предикатов первого порядка : Учеб. пособие; [Для студентов по курсу "Мат. логика и теория алгоритмов"] / В.А. Чебыкин, Н.Е. Новакова ; Гос. ком. РФ по высш. образованию, С.-Петерб. гос. электротехн. ун-т

Автор: Чебыкин, Василий Александрович, АвторАвтор (Альтер.): Новакова, Наталия Евгеньевна, АвторЯзык: русский.Выходные данные: СПб. : ГЭТУ, 1996Физическая характеристика: 62,[1] с. ; 20 см.ISBN: 5-7629-0122-Х Библиография: Библиогр.: с. 60-61 (8 назв.).Предметная рубрика - Тема: Математическая логика -- Руководства, пособия и т.п. для высшей школы -- Исчисление предикатов -- Метод резолюций | Исчисление предикатов -- Учебники для высших учебных заведений -- Резолюций метод Другие классификации: В123я73-1Коллекция: Национальная библиография Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года	2000-4/7802 (Просмотр полки(Открывается ниже))	Доступно		154802-10

Библиогр.: с. 60-61 (8 назв.)