Dieter Hutter
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …
Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer
In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …
Georg Rock; Werner Stephan; Andreas Wolpers
In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …
In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …
Stefan Agne
In: Tapas Kanungo; Henry S. Baird (Hrsg.). Proceedings of the International Workshop on Performance Evaluation Issues in MultiLingual OCR. …
Andreas Abecker; Ansgar Bernardi; Michael Sintek
In: KnowTechForum´99, International Knowledge Technology Forum, Potsdam, Germany. International Conference on Knowledge Management and Knowledge …
In: ECIS'99 - The 7th European Conference on Information Systems. European Conference on Information Systems (ECIS), Copenhagen, 6/1999.
In: SEKE'99 The Eleventh International Conference on Software and Knowledge Engineering. International Conference on Software Engineering and …
In: Fawzi Daoud (Hrsg.). IEEE WET-ICE'99 Workshop on Knowledge Media Networking, Stanford, 16-18 June. IEEE International Workshops on Enabling …
