Вы здесь

Выявление и доказательство свойств функциональных программ методами суперкомпиляции

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2010
Стр.: 
20 с.
Библиография: 
Библиогр.: c.20
Место защиты: 
Номер специальности: 
05.13.11
Карточка: 

Б3.2.

Ключников И. Г..

Выявление и доказательство свойств функциональных программ методами суперкомпиляции: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Москва, 2010.-20 с.
Библиогр.: c.20

Таблица в старой библиотеке: 
DAR1 780