Вы здесь
Mcrobbie M. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Linear Analytic Tableaux | 1995 | Meyer R. K., Mcrobbie M. A., Belnap N. | Lecture Notes in Artificial Intelligence | 02.06.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Deduction - CADE-13: Proc./13th Intern. Conf. on Automated Deduction. New Brunswick, NJ, USA, July-August 1996 | 1996 | Lecture Notes in Artificial Intelligence |
|
01.08.1996 |