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

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

Rehrmann, V.

Proc. 3. Workshop Farbbildverarbeitung, Erlangen. 1997

Albrecht, Wolfgang; Wisser, Ralf

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

Mauthe, Andreas; Coulson, Geoff

Multimedia Systems. Bd. 5. H. 5. Berlin: Springer 1997 S. 337 - 346

Hampe, Felix; Hampe, J. F.

Kongress Europe@n Internet Commerce, München. 1997 S. 159-175

Bess, Rüdiger; Paulus, Dietrich; Harbeck, Michael

Manfred K. Lang;Harald Höge;Wolfgang Hess (Hrsg). IEEE International Conference on Acoustics, Speech, and Signal Processing ICASSP 1997 - Multidimensional Signal Processing, Neural Networks: April 21-24, 1997, Munich, Germany; Volume IV of V. Los Alamitos, CA: IEEE Computer Society 1997 S. 3165 - 3168

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

Troitzsch, Klaus G.

Conte, Rosaria u. a. (Hrsg). Simulating social phenomena. Berlin u. a.: Springer 1997 S. 41 - 54 (Lecture notes in economics and mathematical systems ; 456)

Hampe, Felix; Hampe, J. F.

VoiceCom ´97, Köln. 1997 S. 113-139

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