Вы здесь
A Metalanguage for Interactive Proof in LCF
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1977
Ключевые слова:
Стр.:
12 p.
Библиография:
Bibliogr.: p.10-12
Место издания:
Номер:
CSR-16-77
Карточка:
Б2.2, Б2.1, Б3.14.
Gordon M., Milner R., Morris L., Newey M., Wadsworth C..
A Metalanguage for Interactive Proof in LCF-Edinburgh., 1977.-12 p.-(Препринт Univ.Edinburgh №CSR-16-77).
Bibliogr.: p.10-12
Таблица в старой библиотеке:
PREP3 64