Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Applications of Theory Reasoning in Model EliminationPeter 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.
CAD-oriented constraint processing with trianglesHower, 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
Ein Referenz-Schema zur OrganisationsbeschreibungKoblenz-Landau: Univ., Inst. f. Informatik 1994 17 S. (Fachberichte Informatik ; 6/94)
Berling, R.; Rosendahl, M.; Sodhi, R.S.
Geometry Modelling Using Dimensional ConstraintsSodhi, R.S. (Hrsg). Advances in Manufacturing Systems: Design, Modeling and Analysis. Amsterdam, Lausanne: Elsevier 1994 S. 365-370
Lemmer, Uwe; Steigner, C.
KOSCRIPT - A hybrid unification based cursive script recognition system4th International Workshop on Frontiers of Handwriting Recognition. Taipeh. 1994 S. 296-304
Baumgartner, Peter; Furbach, Ullrich
Lineare Vervollständigung für die Behandlung von Horntheorien: Research Report AIDA-94-02DFG-Colloquium ``Deduction´´. 1994
Rosendahl, M.; Chun, Du; Chun, Du
Modelling geometric relationship with object-oriented methodology4th EUROGRAPHICS Workshop on Object Oriented Graphics. Sintra, Portugal. 1994 S. 199-213
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension InterfaceAlan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Baumgartner, Peter; Furbach, Ullrich
The Spectrum of Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Lautenbach, Kurt; Ridder, Hanno
Liveness in bounded Petri nets which are covered by T-invariantsKoblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)