Вы здесь

Zwanenburg J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Logic for Abstract Data Types as Existential Types 1999 Poll E., Zwanenburg J. Lecture Notes in Computer Science 21.04.1999