Search: OMEGA --- From Proof Planning Towards Mathematical Knowledge

2003 | |

[1] | OMEGA --- From Proof Planning towards Mathematical Knowledge Management , In Mathematical Knowledge Management Symposium, 2003. (slides) [bibtex] [pdf] |

Powered by bibtexbrowser