Albrecht, Wolfgang; Zöbel, Dieter; Bestavros, Azer et al.

Bestavros, Azer (Hrsg). Real-Time Database and Information Systems, Research Advances. o.A.: Kluwer Academic Publishers 1997 S. 89 - 102

Ebert, Jürgen; Süttenbach, Roger; Uhe, Ingar

Lecture notes in computer science. Bd. 1250. Berlin: Springer 1997 S. 203 - 216

Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt

Stanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)

Ebert, J.; Fronk, A.

Koblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (8)

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)