Електронний каталог
Класифікатори
авт...
автоматичний доказ теорем, автоматическое доказательство теорем
Документи:
Ларионов, А. А.
Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул [Текст] / А. А. Ларионов, Е. А. Черкашин // Дистанционное и виртуальное обучение. — 2012. — № 2 (56). — С. 93-100. — Библиогр. : с. 100.
Інформаційно-пошукова система
'УФД/Бібліотека'