Полное описание

Ларионов, А. А. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин. - Иркутск : Изд-во ИГУ, 2014. - 104 с. : ил. - Библиогр.: с. 95-104 (107 назв.). - 100 экз. - ISBN 978-5-9624-0941-2. - Текст : непосредственный.
В надзаг.: Иркут. гос. ун-т, Ин-т динамики систем теории упр. Сиб. отд-ния РАН

ГРНТИ	УДК
27.03.19	510.7
03.91

Рубрики:
Доказательств теория

Доп. точки доступа:
Черкашин, Е.А.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/11586)

Шифр в сводном ЭК: 753bb100102ea1de6029179eed494774

Заказать издание
Заказ фрагмента документа ₽