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 …
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 …
Rolf Backofen; Tilman Becker; Jo Calder; Joanne Capstick; Luca Dini; Jochen Dörre; Gregor Erbach; Dominique Estival; Suresh Manandhar; Anne-Marie Mineur; Gertjan van Noord; Stephan Oepen; Hans Uszkoreit
LRE, Vol. 61-100, 1996.
Hans Uszkoreit
In: Gerhard Strube (Hrsg.). Wörterbuch der Kognitionswissenschaft. Klett-Cotta, Stuttgart, 1996.
Wojciech Skut
In: Workshop on Extended Finite State Models of Language (ECAI '96), August 12-16. European Conference on Artificial Intelligence (ECAI), Budapest, …
Melanie Siegel
In: Byung-Soo Park; Jong-Bok Kim (Hrsg.). Selected Papers from the 11th Pacific Asia Conference on Language, Information and Computation (PACLIC 11), …
PhD-Thesis, 1996.
Verbmobil Report, DFKI, Vol. 133, 1996.