Вы здесь
Experiments on self-applicability in the C-light verification system
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2013
Стр.:
P.85-99
Выпуск:
35
Библиография:
Bibliogr.: p.98-99
Серия:
Карточка:
Б2.2, Б3.1.
Promsky A. V..
Experiments on self-applicability in the C-light verification system// Bulletin of the Novosibirsk Computing Center-2013.-P.85-99-(Computer Science).
Bibliogr.: p.98-99
Таблица в старой библиотеке:
PAP31 847