ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ"
Abstract
Статья написана в соавторстве с М.В. Павловой. Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний.
Published
2013-12-18
How to Cite
Дмитриева, М. (2013). ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ". Computer Tools in Education, (5). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/89
Issue
Section
Articles
This work is licensed under a Creative Commons Attribution 4.0 International License.
