Publikationen

Dieter Hutter; David McAllister; Christoph Walther

13th Conference on Automated Deduction, New Brunswick, USA, 1996.

Dieter Hutter; Claus Sengler

In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …

Dieter Hutter; Claus Sengler

In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem …

Dieter Hutter

In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence …

Christoph Weidenbach; Bernd Gaede; Georg Rock

In: M. McRobbie; J. Slaney (Hrsg.). 13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction …

Werner Stephan; Susanne Biundo

In: Brian Drabble (Hrsg.). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on …

Susanne Biundo; Werner Stephan

In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …

Sabine Lehmann; Stephan Oepen; Sylvie Regnier-Prost; Klaus Netter; Veronika Lux; Judith Klein; Kirsten Falkedal; Frederik Fouvry; Dominique Estival; Eva Dauphin; Hervé Compagnion; Judith Baur; Lorna Balkan; Doug Arnold

In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-96), …

Sabine Lehmann; Dominique Estival; Stephan Oepen

In: Proceedings of the 3rd International Conference on HPSG and Traitement Automatique du Langage Naturel. International Conference on HPSG and …

Wojciech Skut

In: Workshop on Extended Finite State Models of Language (ECAI '96), August 12-16. European Conference on Artificial Intelligence (ECAI), Budapest, …