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