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

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

ГРНТИ	УДК
27.03.19	510.7
03.91

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

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

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

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