|
Книга ID: 34020
Индуктивный синтез систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 Сиб. отд-ние. ВЦ
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
Сведения об издании:
Новосибирск 1990 17 с.
Язык:
rus
|
|