Дмитриева М., Павлова М. — Факультативный курс ''Система автоматизации процесса решения задач''. Часть 3. Описание системы и примеры ее использования
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Факультативный курс ''Система автоматизации процесса решения задач''. Часть 3. Описание системы и примеры ее использования
Авторы: Дмитриева М., Павлова М.
Аннотация:
Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний
|
|
О проекте