FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Dix, Jürgen
Disjunctive logic programming and databasesSaarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)
Rosendahl, M.; Roller, D.
Ein verallgemeinertes Segmentkonzept bei CAD-SystemenRoller, 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-UnificationPrasser, 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 FarbkovarianzmerkmalenProceedings 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/GRALKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996 (11)
Mauthe, Andreas; Coulson, Geoff; Hutchison, David et al.
Group Support in Multimedia Communications SystemsDavid 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. GallenHMD : Praxis der Wirtschaftsinformatik. Bd. 189. Wiesbaden: Forkel 1996 S. 54 - 63
Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper TableauxProceedings Joint European workshop on Logics in AI '96. Springer 1996
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, Peter; Furbach, Ullrich
Hyper Tableaux. Part I: Proof Procedure and Model GenerationDagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996