Search: Assertion Application In Theorem Proving And Proof Planning

2003 | |

[2] | Assertion Application in Theorem Proving and Proof Planning , In Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 2003. [bibtex] [pdf] |

[1] | Assertion Application in Theorem Proving and Proof Planning , In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (G. Gottlob, T. Walsh, eds.), 2003. (poster) (ISBN 0-127-05661-0) [bibtex] [pdf] |

Powered by bibtexbrowser