Bresink, M.

1995

Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor

Koblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)

Ebert, Jürgen; Engels, Gregor

Koblenz-Landau: Univ., Inst. f. Informatik 1995 28 S. (Fachberichte Informatik ; 19/95)

Ebert, Jürgen; Franzke, Angelika

Koblenz: Inst. für Informatik, Univ. 1994 19 S. (Fachberichte Informatik ; 3/94)

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder

Peter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14

Hower, Walter; Rosendahl, M.; Hower, Walter et al.

Hower, Walter; Haroud, Djamila; Ruttkay, Zsófia (Hrsg). Constraint Processing in CAD. Workshop Notes of the 3rd Intern. Conference in Artificial Intelligence in Design (AID'94). 1994 S. 38-43

Winter, Andreas; Ebert, Jürgen

Koblenz-Landau: Univ., Inst. f. Informatik 1994 17 S. (Fachberichte Informatik ; 6/94)

Berling, R.; Rosendahl, M.; Sodhi, R.S.

Sodhi, R.S. (Hrsg). Advances in Manufacturing Systems: Design, Modeling and Analysis. Amsterdam, Lausanne: Elsevier 1994 S. 365-370

Lemmer, Uwe; Steigner, C.

4th International Workshop on Frontiers of Handwriting Recognition. Taipeh. 1994 S. 296-304

Baumgartner, Peter; Furbach, Ullrich

DFG-Colloquium ``Deduction´´. 1994