Search: Agent-Based HOL Reasoning
2016
[1]Agent-Based HOL Reasoning (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (G.-M. Greuel, T. Koch, P. Paule, A. Sommese, eds.), Springer, LNCS, volume 9725, pp. 75-81, 2016. (Url (preprint): http://christoph-benzmueller.de/papers/C56.pdf) [bibtex] [doi]
Powered by bibtexbrowser