Вы здесь
Formalising Formulas-as-Types-as-Objects
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Стр.:
p.174-193
Библиография:
Bibliogr.: p.192-193
Место издания:
Издательство:
Источник:
Том:
1956
Карточка:
Б2.1.
Haiyan Q..
Formalising Formulas-as-Types-as-Objects-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2000.-Vol. 1956.-p.174-193-(Lecture Notes in Computer Science).
Bibliogr.: p.192-193
Таблица в старой библиотеке:
PAP22 544