Факультативный курс ''Система автоматизации процесса...

Main
Mathematics
Факультативный курс ''Система...

Факультативный курс ''Система автоматизации процесса решения задач''. Часть 3. Описание системы и примеры ее использования

Дмитриева М., Павлова М.

0 / 0

0 comments

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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

Categories:

Mathematics

Language:

russian

Pages:

File:

PDF, 176 KB

IPFS:

russian0

Read Online