Search: Invited Talk: On A
2015
[1] Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Christoph Benzmüller), In TABLEAUX 2015 (Hans De Nivelle, ed.), Springer, LNAI, volume 9323, pp. 213-220, 2015. ((Invited paper)) [bibtex] [pdf] [doi]
Powered by bibtexbrowser