Вы здесь

Underwood J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Typing Abstract Data Types 1995 Underwood J. Lecture Notes in Computer Science 24.05.1995
СТ Tableau for Intuitionistic Predicate Logic as Metatheory 1995 Underwood J. Lecture Notes in Artificial Intelligence 02.06.1995