Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Stolzenburg, Frieder
Membership-constraints and complexity in logic programming with setsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model Elimination, Logic Programming and Computing AnswersKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)
Bresink, M.
Radiosity 2.0 Entwicklerdokumentation1995
Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
Reducing disjunctive to non-disjunctive semantics by shift-operationsKoblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)
Ebert, Jürgen; Engels, Gregor
Specification of object life cycle definitionsKoblenz-Landau: Univ., Inst. f. Informatik 1995 28 S. (Fachberichte Informatik ; 19/95)
Ebert, Jürgen; Franzke, Angelika
A declarative approach to graph based modelingKoblenz: Inst. für Informatik, Univ. 1994 19 S. (Fachberichte Informatik ; 3/94)
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)