Starten Sie Ihre Suche...


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

FB 4: Informatik

Universität Koblenz

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

Dix, Jürgen

Disjunctive logic programming and databases

Saarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)


Rosendahl, M.; Roller, D.

Ein verallgemeinertes Segmentkonzept bei CAD-Systemen

Roller, D. (Hrsg). Produktmodellierung Proceedings-Reihe der Informatik 96, Bd. 5. 1996


Baumgartner, P.; Beckert, Bernhard; Kühn, Michael et al.

Extending Hyper Tableaux with Rigid E-Unification

Prasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996


Lakmann, R.; Priese, L.

Farbtextursynthese mit Farbkovarianzmerkmalen

Proceedings 2. Workshop Farbbildverarbeitung, Ilmenau. Zentrum für Bild und Signalverarbeitung e.V. 1996 S. 21-24


Ebert, J.; Winter, Andreas; Dahm, Peter et al.

Graph Based Modeling and Implementation with EER/GRAL

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996 (11)


Mauthe, Andreas; Coulson, Geoff; Hutchison, David et al.

Group Support in Multimedia Communications Systems

David Hutchison;Henning Christiansen;Geoff Coulson;André A. S. Danthine (Hrsg). Teleservices and Multimedia Communications: Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings. Berlin: Springer 1996 S. 1 - 18


Schubert, Petra; Back-Hock, Andrea

Groupwarebasierter Help-Desk für Informatikprobleme: Eine Applikation unter Lotus Notes an der Universität St. Gallen

HMD : Praxis der Wirtschaftsinformatik. Bd. 189. Wiesbaden: Forkel 1996 S. 54 - 63


Baumgartner, P.; Furbach, U.; Niemelä, Ilkka

Hyper Tableaux

Proceedings Joint European workshop on Logics in AI '96. Springer 1996


Furbach, U.; Baumgartner, Peter

Hyper Tableaux and Disjunctive Logic Programming

ICLP Workshop on Deductive Databases and Logic Programming. GMD 1996


Baumgartner, Peter; Furbach, Ullrich

Hyper Tableaux. Part I: Proof Procedure and Model Generation

Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996