FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued LogicsMarek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Dork'o, Gyuri; Paulus, Dietrich; Ahlrichs, Ulrike
Color segmentation for scene explorationGerd Stanke; Michael Pochanke (Hrsg). FarbBV 2000 - 6. Workshop Farbbildverarbeitung m Rahmen der GFaI-Workshop-Familie NordOst: 05. - 06. Oktober 2000; Berlin. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2000 S. 13 - 20
Harbusch, Karin; Kempen, Gerard
Complexity of Linear Ordering in Performance Grammar, TAG and HPSGSylvain Kahane;Owen Rambow;Aravind Joshi;Jennifer MacDougall (Hrsg). Proceedings of the 5th International Workshop on Tree Adjoining Grammar and Related Formalisms TAG+ 2000: Université Paris 7, France; May 25-27, 2000. Paris: Université Paris 7 2000 S. 101 - 106
Troitzsch, Klaus G.
Computersimulationen in den SozialwissenschaftenHerz, Dietmar ; Blätte, Andreas (Hrsg). Simulation und Planspiel in den Sozialwissenschaften : eine Bestandsaufnahme der internationalen Diskussion. Münster ; Hamburg ; London: Lit 2000 S. 181 - 203 (Grundlegung und Methoden der Politischen Wissenschaft ; 1)
Traunmüller, Roland; Wimmer, Maria A.
Daten? Information? Wissen? Handeln: Management des WissensHeinrich Reinermann (Hrsg). Regieren und Verwalten im Informationszeitalter: Tagungsband; 68. Staatswissenschaftliche Fortbildungstagung an der Deutschen Hochschule für Verwaltungswissenschaften Speyer; 15. bis 17. März, 2000. Heidelberg: R.v.Decker 2000 S. 482 - 498
Fislake, Martin
Denkmal Digital - Technik- und Industriegeschichte auf CD-ROMBurkhard Sachs; Conrad Sachs (Hrsg). Neues Lernen mit neuen Mitteln : 3. Tagung der DGTB in Ludwigsfelde vom 28.10. bis 30.10.1999. Hamburg: Dr. Kovač 2000 S. 67 - 80
Wimmer, Maria A.
Designing interactive systems: key issues for a holistic approachLinz: Trauner 2000
Gebhard, Arnd; Paulus, Dietrich
Diagnosis Support of Patients with Facial ParesisBernd Girod; Günther Greiner; Heinrich Niemann (Hrsg). Principles of 3D Image Analysis and Synthesis. Boston, MA: Kluwer Academic Publishers 2000 S. 365 - 377
Harbusch, Karin; Woch, Jens
Direct Parsing of Schema-TAGsHarry C. Bunt;John Carroll;Alberto Lavelli (Hrsg). Proceedings of the Sixth International Workshop on Parsing Technologies IWPT 2000: 23-25 February, 2000; Trento, Italy. Stroudsburg, PA: Association for Computational Linguistics 2000 S. 305 - 306
Maedche, Alexander; Staab, Steffen
Discovering Conceptual Relations from TextWerner Horn (Hrsg). Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000 including Prestigious Applications of Intelligent Systems (PAIS 2000): August 20–25, 2000; Berlin, Germany. Amsterdam: IOS Press 2000 S. 321 - 325