Математическая логика и автоматическое доказательство теорем / Минц,Г.Е ; пер. с англ. Г.В.Давыдова и др. ; под ред. С.Ю.Маслова

Автор(ы): Чень, Ч.;
                   Ли, Р.;
                   Маслов, С. Ю.;
                   Минц, Г. Е.;
                   Оревков, В. П.Язык документа: Русский.Страна публикации: RU.Издательство: М. : Наука, 1983Физическая характеристика: 358с.ББК: 22.122 ; 27.03.15Note(s): В кн. также: Теория поиска вывода и обратный метод / С.Ю.Маслов, Г.Е.Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П.Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю.МасловАлф. указ.: с. 350-358; Библиогр.: с. 333-349.
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
1
2
3
4
5
     средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
ГОНБ. Сектор обслуживания универсального читального зала
Выдается

Языки: