FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Applications of Theory Reasoning in Model EliminationPeter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14
Hower, Walter; Rosendahl, M.; Hower, Walter et al.
CAD-oriented constraint processing with trianglesHower, Walter; Haroud, Djamila; Ruttkay, Zsófia (Hrsg). Constraint Processing in CAD. Workshop Notes of the 3rd Intern. Conference in Artificial Intelligence in Design (AID'94). 1994 S. 38-43
von Kortzfleisch, Harald F. O.
Computer Aided Organizational Engineering: State of the Art in Germany and Assessment of the Existing Computer-Based Organization Design ToolsIngemar Hulthage (Hrsg). Computational Organization Design: Papers from the 1994 AAAI Spring Symposium; March 21 - 23, Stanford, California. Menlo Park, CA: AAAI Press 1994 S. 123 - 132
Fowell, Susan P.; Levy, Philippa
Computer mediated project work: the undergraduate experience1994
Harbusch, Karin; Kikui, Gen-ichiro; Kilger, Anne
Default Handling in Incremental GenerationMakoto Nagao;Yorick Wilks (Hrsg). Proceedings of the 15th International Conference on Computational Linguistics COLING '94 - Volume 1: Kyoto, Japan; August 5 - 9, 1994. Stroudsburg, PA: Association for Computational Linguistics 1994 S. 356 - 362
Winter, Andreas; Ebert, Jürgen
Ein Referenz-Schema zur OrganisationsbeschreibungKoblenz-Landau: Univ., Inst. f. Informatik 1994 17 S. (Fachberichte Informatik ; 6/94)
Mauthe, Andreas; Hutchison, David; Coulson, Geoff et al.
From Requirements to Services: Group Communication Support for Distributed Multimedia SystemsRalf Steinmetz (Hrsg). Multimedia: Advanced Teleservices and High-Speed Communication Architectures; Second International Workshop, IWACA '94 Heidelberg, Germany, September 26–28, 1994 Proceedings. Berlin: Springer 1994 S. 266 - 277
Berling, R.; Rosendahl, M.; Sodhi, R.S.
Geometry Modelling Using Dimensional ConstraintsSodhi, R.S. (Hrsg). Advances in Manufacturing Systems: Design, Modeling and Analysis. Amsterdam, Lausanne: Elsevier 1994 S. 365-370
Engel, Andreas; Troitzsch, Klaus G.; Weber, Uwe
Konzept eines Umweltinformationssystems für den Landkreis BirkenfeldEngel, Andreas (Hrsg). Umweltinformationssysteme in der öffentlichen Verwaltung : Stand und Perspektiven der Entwicklung auf kommunaler und föderaler Ebene. Heidelberg: v. Decker 1994 S. 117 - 131 (Schriftenreihe Verwaltungsinformatik ; 10)
Lemmer, Uwe; Steigner, C.
KOSCRIPT - A hybrid unification based cursive script recognition system4th International Workshop on Frontiers of Handwriting Recognition. Taipeh. 1994 S. 296-304