Алгоритм унификации для расширяемой модели математического диалекта


2012

Клещев А. С., Тимченко В. А.

Информатика и системы управления, ВАК

Статьи в журналах

Россия, Благовещенск, АмГУ

Информатика и системы управления

№1(31)

1814-2400

Клещев А.С., Тимченко В.А. Алгоритм унификации для расширяемой модели математического диалекта // Информатика и системы управления. 2012. №1(31). С. 155-165.

http://ics.khstu.ru/media/2012/N31_18.pdf