Вы здесь
An Implementation of the Heine-Borel Covering Theorem in Type Theory
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1997
Стр.:
P.82-95.
Библиография:
Bibliogr.: p.95
Место издания:
Источник:
Карточка:
Б2.1.
Cederquist J..
An Implementation of the Heine-Borel Covering Theorem in Type Theory-Goteborg.// Acta Congressus Hiberni, 1997.-P.82-95.
Bibliogr.: p.95
Таблица в старой библиотеке:
PAP16 594