Вы здесь

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