Вы здесь
On Explicit Reflection in Theorem Proving and Formal Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Место издания:
Источник:
Карточка:
Б2.13.
Artemov S. N..
On Explicit Reflection in Theorem Proving and Formal Verification-Москва.// Moscow Computer Sience School 2004, 2004.
Таблица в старой библиотеке:
PAP29 487