Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Lautenbach, K.; Ridder, Hanno
Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-AnsatzEntwurf komplexer Automatisierungssysteme. 1997
Aravindan, C.; Dix, J.; Niemelä, I.
DisLoP: A research project on Disjunctive Logic ProgrammingAI communications. AICOM ; the European journal on artificial intelligence. Bd. 10. H. 3. Amsterdam. 1997 S. 151 - 166
Schimansky-Geier, Lutz; Kschischo, Maik; Fricke, Thomas
Flux of Particles in Sawtooth MediaPhysical Review Letters. Bd. 79. College Park, MD: American Physical Society 1997 3335
Ebert, Jürgen; Kamp, Manfred; Winter, Andreas
GUPRO : A generic system to support multi-level understanding of heterogeneous softwareKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 6/97)
Albrecht, Wolfgang; Zöbel, Dieter
Hard Real-Time Scheduling for Age Constraint Computations in Monitoring and ControlProceedings of the 2nd IFAC Workshop on New Trends in Design of Control Systems. Smolenice, Slovak Republic: Elsevier Science Ltd 1997
Ebert, J.; Vossen, G.
I-serializability: Generalized correctness for transaction-based environmentsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 63. H. 4. Amsterdam [u.a.]: Elsevier 1997