Вы здесь
Brunnler K.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011 | 2011 | Lecture Notes in Artificial Intelligence |
|
27.09.2011 |