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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser