Baumgartner, Peter; Furbach, Ulrich

Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2

Dahn, Ingo; Furbach, Ulrich; Armbruster, Michael et al.

Rainer Bromme; Elmar Stahl (Hrsg). Writing Hypertext and Learning: Conceptual and Empirical Approaches. Amsterdam: Pergamon 2002 S. 125 - 152

Furbach, Ulrich; Obst, O.; Stolzenburg, Frieder

Log IN. Bonn: Gesellschaft für Informatik 2000 S. 17 - 21

Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich

Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Bd. 1632. Berlin: Springer 1999 S. 329 - 343

Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.

Künstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14

Baumgartner, Peter; Furbach, Ulrich

Wolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102

Galmiche, Didier

Berlin: Springer 1997

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder

Artificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176

Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.

Martha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465

Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.

Didier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90