Вы здесь
De Nivelle H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Unification of Ordering Refinements of Resolution in Classical Logic | 1994 | De Nivelle H. | Lecture Notes in Artificial Intelligence | 28.10.1994 | |||
| СТ | Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming | 1994 | Witteveen C., Van Der Hoek W., De Nivelle H. | Lecture Notes in Artificial Intelligence | 28.10.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015 | 2015 | Lecture Notes in Artificial Intelligence |
|
12.01.2016 |