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