Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Obst, O.; Murray, J.; Stolzenburg, F. et al.
Towards deduction in RoboCuphttp://www.ki.informatik.hu-berlin.de/AKRoboCup/RoboCupWS-KI98/towardsDeductionInRoboCup.ps.gz. 1998 S. 1-2
Baumgartner, Peter; Furbach, Ulrich
Variants of Clausal TableauxWolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102
Süttenbach, Roger; Ebert, J.
A Booch MetamodelKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (5)
Baumgartner, Peter; Aravindan, C.; Baumgartner, P. et al.
A Rational and Efficient Algorithm for View Deletion in DatabasesJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Ebert, J.; Süttenbach, Roger
An OMT MetamodelKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (13)
Marx, T.
APRIL - Visualisierung der AnforderungenKoblenz: Universität Koblenz-Landau 1997
Steigner, Christoph
Arbeitsplatz-Rechensysteme : Anwendungen, Architekturen, Betriebssysteme und NetzwerkeKoblenz: Fölbach 1997 296 S.
Galmiche, Didier
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 ProceedingsBerlin: Springer 1997
Baumgartner, P.; Furbach, U.; J. Maluszynski, J. Maluszynski
Calculi for Disjunctive Logic ProgrammingJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Dix, J.; Stolzenburg, F.
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic ProgrammingLecture notes in computer science. Bd. 1216. Berlin: Springer 1997