Вы здесь
Sutcliffe G.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005 | 2006 | Lecture Notes in Artificial Intelligence |
|
01.03.2006 | |||
| СБ | Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021 | 2021 | Lecture Notes in Artificial Intelligence |
|
20.08.2021 |