Вы здесь
A Logic for Abstract Data Types as Existential Types
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1999
Ключевые слова:
Стр.:
P.310-324.
Библиография:
Bibliogr.: p.324
Издательство:
Источник:
Том:
1581
Карточка:
Б2.13, Б2.14.
Poll E., Zwanenburg J..
A Logic for Abstract Data Types as Existential Types: Springer// Lecture Notes in Computer Science-1999.-Vol. 1581.-P.310-324.
Bibliogr.: p.324
Таблица в старой библиотеке:
PAP19 388