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

Авторы

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

Аннотация

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

Загрузки

Опубликован

18.12.2013

Выпуск

№ 5 (1998)

Раздел

Новая статья

Лицензия

Авторский договор

 

Материал публикуется под лицензией:

Creative Commons License

Creative Commons Attribution 4.0 International License.

Как цитировать

[1]
«ФАКУЛЬТАТИВНЫЙ КУРС „СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ“», Компьютерные инструменты в образовании, вып. 5, дек. 2013, просмотрено: июл. 23, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/89

Наиболее читаемые статьи этого автора (авторов)

1 2 3 > >>