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. (Url (preprint): http://christoph-benzmueller.de/papers/C50.pdf) [bibtex] [doi]
Powered by bibtexbrowser