Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
Rammsweg 1, Raum: MB 214
- 0261/287 - 2728
- 0261/287 - 2731
Ergebnisse pro Seite:
10
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Inst. für Informatik, Univ. 1992 26 S. (Fachberichte Informatik ; 1992,11)
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.
Baumgartner, P.; Furbach, U.
Refinements for Restart Model Elimination
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis Applications