ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ"

Authors

  • М.В. Дмитриева

Abstract

Статья написана в соавторстве с М.В. Павловой. Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний.

Downloads

Published

2013-12-18

Issue

No. 5 (1998)

Section

Articles

License

Public offer

How to Cite

[1]
“ФАКУЛЬТАТИВНЫЙ КУРС ‘СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ’”, Computer Tools in Education, no. 5, Dec. 2013, Accessed: Sep. 09, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/89

Most read articles by the same author(s)

1 2 3 > >>