FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Stolzenburg, Frieder
A flexible System for Constraint Disjunctive Logic ProgrammingKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78
Steigner, Christoph; Schmid, A. J.; Steigner, Ch.
A Solution for the Count to Infinity Problem of Distance Vector RoutingProceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Bd. Proceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Brisbane, Queensland, Australia. 1998
Priese, Lutz; Wimmel, Harro
A uniform approach to true-concurrency and interleaving semantics for Petri netsTheoretical computer science. the journal of the EATCS. Bd. 206. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 219 - 256
Hampe, J. Felix; Schönert, Silke
Anwendungspotentiale: Der Nutzen und sein PreisOffice Management. Bd. 46. H. 2. Düsseldorf: Verlagsgruppe Handelsblatt 1998 S. 16 - 17
Paulus, Dietrich W. R.; Hornegger, Joachim
Applied pattern recognition : a practical introduction to image and speech processing in C++2. ed. Aufl. Braunschweig [u.a.]: Vieweg 1998 0 S.
Paulus, Dietrich; Hornegger, Joachim
Applied Pattern Recognition: A Practical Introduction to Image and Speech Processing in C++Braunschweig: Vieweg 1998
Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
Automated Deduction: A technological Point of ViewKünstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14
Schian, R.; Barry, J. - C.; Pongs, U. et al.
Automatische Augenstellungsbestimmung in Infrarot-Videobild-SequenzenInformatik aktuell Bildverarbeitung für die Medizin 1998, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops am 26. und 27. März 1998, Universitätsklinikum der RWTH Aachen. Bd. Informatik aktuell Bildverarbeitung für die Medizin 1998, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops am 26. und 27. März 1998, Universitätsklinikum der RWTH Aachen. Berlin Heidelberg New York: Springer 1998 S. 44-48
Von Kortzfleisch, Harald; Heller, Ulrike; Winand, Udo
Bildungsserver: Überblick sowie strategische Positionierung und funktionale Ausgestaltung des „Forums Virtuelle Lernwelten“Kassel: Universität Kassel 1998
Baumgartner, P.; Petermann, U.; Bibel, W. et al.
Chapter II.6: Theory ReasoningBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224