Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул : монография / А. А. Ларионов, Е. А. Черкашин ; Федеральное гос. бюджетное образовательное учреждение высш. проф. образования "Иркутский гос. ун-т", Федеральное гос. бюджетное учреждение науки "Ин-т динамики систем и теории упр. Сибирского отд-ния РАН"
Язык: русский.Выходные данные: Иркутск : ИГУ, 2014Физическая характеристика: 104 с. : ил. ; 21 см.ISBN: 978-5-9624-0941-2 Библиография: Библиогр.: с. 95-104 (107 назв.).Предметная рубрика - Тема: Исчисление предикатов -- Поиск выводов | Математика -- Доказательства | Теоремы -- Доказательство Другие классификации: В12Коллекция: НБР Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр.: с. 95-104 (107 назв.)