Вы здесь
Индуктивный синтез систем подстановок термов
Количество экземпляров:
1
Вид:
Автореферат
Год:
1990
Ключевые слова:
Стр.:
18 с.
Библиография:
Библиогр.: 3
Место защиты:
Номер специальности:
05.13.11
Карточка:
Б2.11, Б2.34.
Барздинь Г. Я..
Индуктивный синтез систем подстановок термов: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 1990.-18 с.
Библиогр.: 3
Таблица в старой библиотеке:
DAR1MP 4