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