Search: Automation Of Higher-Order Logic
2014
[1]Automation of Higher-Order Logic (Christoph Benzmüller, Dale Miller), Chapter in Handbook of the History of Logic, Volume 9 --- Computational Logic (Dov M. Gabbay, Jörg H. Siekmann, John Woods, eds.), North Holland, Elsevier, pp. 215-254, 2014. (Url (preprint): http://christoph-benzmueller.de/papers/B5.pdf) [bibtex] [doi]
Powered by bibtexbrowser