Winter, Andreas; Ebert, J.; Zwierlein, E.

Zwierlein, E. (Hrsg). Das Krankenhaus der Zukunft, Management im Gesundheitswesen. München: Urban & Schwarzenberg 1997

Baumgartner, Peter; P.  Baumgartner, P.;  Furbach, U.

Proceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997

Albrecht, Wolfgang; Wisser, Ralf

Lecture notes in computer science. Bd. 1300. Berlin: Springer 1997 S. 1282 - 1289

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

Simon, Carlo; Ridder, Hanno; Marx, Thomas

Koblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)

Aravindan, C.; Görz, G.; Hölldobler, S.

Görz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23

Rosendahl, M.; Berling, R.; Du, C. et al.

Roller, D.; Brunet, P. (Hrsg). CAD Systems Development - Tools and Methods. Berlin: Springer Verlag 1996

Aravindan, C.; Alfares, J.J.; Pereira, E.

Alfares, J.J.; Pereira, L.M., Orlowska, E. (Hrsg). Proceedings of Joint European workshop on Logics in AI. Springer-Verlag 1996 S. 252-267

Baumgartner, Peter; Furbach, Ulrich

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996