FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Semantically Guided Theorem Proving for Diagnosis ApplicationsMartha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465
Troitzsch, Klaus G.
Social Science Simulation — Origins, Prospects, PurposesConte, Rosaria u. a. (Hrsg). Simulating social phenomena. Berlin u. a.: Springer 1997 S. 41 - 54 (Lecture notes in economics and mathematical systems ; 456)
Hampe, Felix; Hampe, J. F.
Status von Technik und Anwendung bei der Internet-TelefonieVoiceCom ´97, Köln. 1997 S. 113-139
Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Tableaux for diagnosis applicationsDidier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90
Paulus, Dietrich; Wagner, Thomas
Tagungsband zum 3. Workshop Farbbildverarbeitung am 26. September, 1997 in ErlangenStuttgart: IRB-Verlag 1997
von Kortzfleisch, Harald; Winand, Udo
Tele-Insuring: Der Beitrag neuer Kommunikations- und Informationstechniken (KIT) zur Verbesserung der Kundenorientierung im VersicherungsbereichDie Betriebswirtschaft. H. 3. Stuttgart: Schäffer-Poeschel 1997 S. 337 - 355
Von Kortzfleisch, Harald; Winand, Udo
Tele-Insuring: New Strategic Opportunities for Insurance Companies Doing Business in the Basis of New Media and Communication Technologies with Private Customers: A Customer-Centered Analysis1997 S. 1 - 30
Fowell, Susan P.
The Information Skills ProjectLes Lloyd (Hrsg). Technology and Teaching. Medford, NJ: Information Today, Inc 1997 S. 247 - 255
Simon, Carlo; Ridder, Hanno; Marx, Thomas
The Petri net tools Neptun and PoseidonKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)
Harbusch, K.; Becker, Timma; Krieger, Ulrich
The Relation Between Tree-Adjoining Grammars and Constraint Dependency GrammarsBecker, Timma; Krieger, Ulrich (Hrsg). Proceedings of the 5th Meeting on Mathematics of Language (MOL 5). 1997 S. 38-45