Search: OMEGA --- From Proof Planning Towards Mathematical Knowledge
2003
[1] OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Serge Autexier, Christoph Benzmüller), In Mathematical Knowledge Management Symposium, 2003. (slides) [bibtex] [pdf]
Powered by bibtexbrowser