Due to maintenance work, it is currently not possible to search for publications by author.
Serge Autexier; Dieter Hutter
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …
DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.
Susanne Biundo; Werner Stephan
In: Proceedings 15th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), …
Dieter Hutter; Michael Kohlhase
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction …
Michael Bender; Achim Ebert; Ralf Klein; Hans-Christian Rodrian
In: Dagstuhl '97, Scientific Visualization. Dagstuhl Seminare/Workshops, Pages 11-15, ISBN 0-7695-0503-1, IEEE Computer Society, 1997.
Gertjan van Noord; Günter Neumann
In: Ronald A. Cole; Joseph Mariani; Hans Uszkoreit; Annie Zaenen; Victor Zue (Hrsg.). Survey of the State of the Art in Human Language Technology. …
Hans Uszkoreit; Annie Zaenen
In: Ronald A. Cole (Hrsg.). Survey of the State of the Art in Human Language Technology. Pages 95-96, Cambridge University Press, Cambridge, 1997.
Hans Uszkoreit
In: Tagungsband der Konferenz "Sprache ohne Grenzen". Konferenz "Sprache ohne Grenzen", München, Germany, Pages 7-14, 1997.
In: Ronald A. Cole (Hrsg.). Survey of the State of the Art in Human Language Technology. Pages 337-342, Cambridge University Press, Cambridge, 1997.
Volker Strom; Aanja Elsner; Wolfgang Hess; Walter Kasper; Alexandra Klein; Hans-Ulrich Krieger; Jörg Spilker; Hans Weber; Günther Görz
In: Proceedings of the 5th Biennial European Conference on Speech Communication and Technology (Eurospeech'97), September 22-25. European Conference …