|
Капитонова, Ю. В. Дедуктивные средства системы алгебраического программирования [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: УДК: Тематичні рубрики:
Шифр журнала:
Анотація: Математичне середовище - це система засобів, які підтримують інтерактивне маніпулювання знаннями, поданими у вигляді (формалізованих) математичних текстів. Теоретичним обгрунтуванням цього проекту є теорія взаємодії агентів та середовищ. Теорія реалізується на базі симулятора мови дій, розробленого в системі алгебричного програмування. !oprip481_H.pft: FILE NOT FOUND! Дод. точки доступу: Летичевский, А. А.; Волков, В. А.
Видання зберігається у :
|
|