Related Publications
- Jürgen Zimmer and Serge Autexier: The MathServe System for Semantic Web Reasoning Services, In Proceedings of the 3rd International Joint Conference on Automated Reasoning, 2006, to appear.
- Jürgen Zimmer, Andreas Meier, Geoff Sutcliffe and
Yuan Zhang: Integrated Proof
Transformation
Services., in Proceedings of the Workshop of Computer-Supported
Mathematical Theory Development, IJCAR'04.
PS.GZ | PDF | BibTeX - Jürgen
Zimmer:A
Framework for Agent-based Brokering of Reasoning Services. In
Proceedings of the Mexican International Conference on Artificial
Intelligence 2004; Raul Monroy, Gustavo Arroyo
Figueroa and L. Enrique Sucar Eds.;
Springer-Verlag; LNCS 2972; Mexico City, 2004
BibTeX - Andreas Nonnengart, Georg
Rock, Christoph Weidenbach: On
Generating Small Clause Normal Forms, LNCS 1421, pp. 397--411, 1998.
Contact:
Last modified: Fri Sep 22 17:00:59 CEST 2006