FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension InterfaceAlan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Harbusch, Karin; Poller, Peter
Structural Translation with Synchronous Rewriting Systems: TALANA-Report 94--011994
Troitzsch, Klaus G.
The evolution of technologiesGilbert, Nigel ; Doran, Jim (Hrsg). Simulating Societies : The Computer Simulation of Social Phenomena. London: UCL Press 1994 S. 41 - 62
Baumgartner, Peter; Furbach, Ullrich
The Spectrum of Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Harbusch, Karin
Towards an Integrated Generation Approach with Tree Adjoining GrammarsComputational Intelligence. Bd. 10. H. 4. Oxford: Wiley-Blackwell 1994 S. 579 - 590
Von Kortzfleisch, Harald; Lippold, H.; Hilgenfeld, J.
Computergestützte Werkzeuge für die Organisationsgestaltung: Marktstudie des Betriebswirtschaftlichen Instituts für Organisation und Automation der Universität zu Köln (BIFOA)1993
Hornegger, Joachim; Paulus, Dietrich
Detecting Elliptic Objects using Inverse Hough-TransformGianni Vernazza;Anastasios N. Venetsanopoulos;Carlo Braccini (Hrsg). Proceedings of IPTA '93 - International Confernece on Image processing: Theory and Applications; San Remo, Italy;14 - 16 June 1993. Amsterdam: Elsevier 1993 S. 155 - 158
Busemann, Stefan; Harbusch, Karin
DFKI Workshop on Natural Language Systems - Reusability and ModularityKaiserslautern: Deutsches Forschungszentrum für Künstliche Intelligenz 1993
Fischer, Volker; Niemann, Heinrich; Paulus, Dietrich et al.
Ein paralleler Kontrollalgorithmus für die wissensbasierte BildanalyseHorst Reichel (Hrsg). Informatik - Wirtschaft - Gesellschaft: 23. GI - Jahrestagung, Dresden, 27. September - 1. Oktober 1993. Berlin: Springer 1993 S. 515 - 520
Paulus, Dietrich; Niemann, Heinrich; Lenz, C. et al.
Fraktale Dimension der Kontur endoskopisch ermittelter Farbbilder von Geschwüren des MagensSiegfried J. Pöppl;Heinz Handels (Hrsg). Mustererkennung 1993: Mustererkennung im Dienste der Gesundheit: 15. DAGM-Symposium; Lübeck, 27.-29. September, 1993. Berlin: Springer 1993 S. 484 - 493