Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Huang, X.; Steigner, C.
A model-driven tool for performance measurement and analysis of parallel programsLecture notes in computer science. Bd. 919. Berlin: Springer 1995 S. 612 - 617
Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraintsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
Baumgartner, Peter
Deduktion und Logisches ProgrammierenKoblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)
Zöbel, D.; Albrecht, Wolfgang
Echtzeitsysteme - Grundlagen und Techniken. Band 1Bonn: International Thomson Publishing 1995
Huang, Xiandeng; Steigner, C.; Müller-Schloer, C.
Eine Spezifikationssprache zur modellgesteuerten Leistungsbewertung paralleler ProgrammeMüller-Schloer, C. (Hrsg). Tagungsband der 3. GI/ITG Fachtagung Arbeitsplatz-Rechensysteme: Anwendung, Betrieb und Architektur von Workstations. Hannover. 1995 S. 40-48
Lemmer, Uwe; Steigner, C.; Dreschler-Fischer, L. et al.
Feature Structures for Representing and Deducing Visual DataDreschler-Fischer, L.; Pribbenow, S. (Hrsg). KI-95 Activities, 19. Conference on Artificial Intelligence, Bielefeld. Gesellschaft für Informatik 1995 S. 142-143
Furbach, Ulrich
From Theorem Proving to Logic ProgrammingAndreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62
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)