Вы здесь

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
  1. Caferra R.
  2. Salzer G.
01.03.2000