Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Computing answers with model eliminationArtificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176
Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
Constraint logic programming for computational linguisticsLecture notes in computer science. Bd. 1328. Berlin: Springer 1997 S. 406 - 425
Kruse, R. J.; Lautenbach, K.
Diagnostik mit Petri-NetzenAlgorithmen und Werkzeuge für Petrinetze. Humboldt-Universität zu Berlin 1997
Fahrner, C.; Marx, T.; Philippi, S.
DICE: Declarative integrity constraint embedding into the object database standard ODMG-93Data & knowledge engineering. Bd. 23. H. 2. Amsterdam: Elsevier 1997 S. 119 - 146