• Класифікатори
• авт...

автоматичний доказ теорем, автоматическое доказательство теорем

Документи:

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