Вы здесь
Analogical Type Theory
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Стр.:
P.33-44.
Библиография:
Bibliogr.: p.44
Источник:
Том:
722
Карточка:
Б2.13, В2.11.
Yi B., Xu J..
Analogical Type Theory// Lecture Notes in Computer Science-1993.-Vol. 722.-P.33-44.
Bibliogr.: p.44
Таблица в старой библиотеке:
PAP6 694