Termware - 3 - система переписування термів, заснована на контекстному численні

Шевченко Р.С.
Termware - 3 - система переписування термів, заснована на контекстному численні

Вид документа: Стаття періодичного видання
Автор: Шевченко Р.С. Вид автора: персона
Мова: Українська Обсяг: С.48-57
Шифр: 004 УДК: 004

Аннотацiя:

автоматизація розробки програмного забезпечення, мови програмування, переписування термів, системи типів

Є складовою частиною документа: Проблеми програмування