Search: Bridging Theorem Proving And Mathematical Knowledge
2004
[1]Bridging Theorem Proving and Mathematical Knowledge Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday (Dieter Hutter, Werner Stephan, eds.), Springer, LNCS, volume 2605, pp. 277-296, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/B2.pdf) [bibtex] [doi]
Powered by bibtexbrowser