Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Huang, Xiandeng; Steigner, C.; Müller-Schloer, C.

Eine Spezifikationssprache zur modellgesteuerten Leistungsbewertung paralleler Programme

Mü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 Data

Dreschler-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 Programming

Andreas 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 Disjunktion

Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)

Stolzenburg, Frieder

Membership-constraints and complexity in logic programming with sets

Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder

Model Elimination, Logic Programming and Computing Answers

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)

Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor

Reducing disjunctive to non-disjunctive semantics by shift-operations

Koblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)

Ebert, Jürgen; Engels, Gregor

Specification of object life cycle definitions

Koblenz-Landau: Univ., Inst. f. Informatik 1995 28 S. (Fachberichte Informatik ; 19/95)

Ebert, Jürgen; Franzke, Angelika

A declarative approach to graph based modeling

Koblenz: Inst. für Informatik, Univ. 1994 19 S. (Fachberichte Informatik ; 3/94)