Вы здесь
Caferra R.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Significant Extension of Logic Programming by Adapting Model Building Rules | 1996 | Caferra R., Peltier N. | Lecture Notes in Artificial Intelligence | 17.04.1996 | |||
СТ | Model Building and Interactive Theory Discovery | 1995 | Caferra R., Peltier N. | Lecture Notes in Artificial Intelligence | 02.06.1995 | |||
СТ | GLEF atinf: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics | 1993 | Caferra R., Herment M. | Lecture Notes in Computer Science | 09.10.1993 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Automated Deduction in Classical and Non-Classical Logics: Selected Papers | 2000 | Lecture Notes in Artificial Intelligence |
|
01.03.2000 |