Вы здесь
Belnap N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Linear Analytic Tableaux | 1995 | Meyer R. K., Mcrobbie M. A., Belnap N. | Lecture Notes in Artificial Intelligence | 02.06.1995 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Linear Analytic Tableaux | 1995 | Meyer R. K., Mcrobbie M. A., Belnap N. | Lecture Notes in Artificial Intelligence | 02.06.1995 |