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