ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ"
Abstract
Статья написана в соавторстве с М.В. Павловой. Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний.
Downloads
Published
1998-10-31
Issue
Section
Lesson Plans
License
How to Cite
[1]
“ФАКУЛЬТАТИВНЫЙ КУРС ‘СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ’”, Comput. Tools Educ., no. 5, Oct. 1998, Accessed: Oct. 24, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/89
