Ebook: Факультативный курс ''Система автоматизации процесса решения задач''. Часть 3. Описание системы и примеры ее использования
Author: Дмитриева М. Павлова М.
- Genre: Математика
- Language: Русский
- pdf
Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний
Download the book Факультативный курс ''Система автоматизации процесса решения задач''. Часть 3. Описание системы и примеры ее использования for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)