Вы здесь
Системы переписывания формул и их применение в автоматической верификации программ
Количество экземпляров:
1
Вид:
Автореферат
Год:
1998
Ключевые слова:
Стр.:
19 с.
Библиография:
Библиогр.: c.19
Место защиты:
Издательство:
Номер специальности:
05.13.11
Карточка:
Б2.34.
Ануреев И. С..
Системы переписывания формул и их применение в автоматической верификации программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, Heidelberg: Springer, 1998.-19 с.-(Lecture Notes in Artificial Intelligence).
Библиогр.: c.19
Таблица в старой библиотеке:
ISI2 204