Вы здесь
Benevides M.R. F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction | 1993 | Benevides M.R. F. | Lecture Notes in Computer Science | 21.09.1993 |