Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (bibtex)

by Christoph Benzmüller

Reference:

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 Entry:

@inproceedings{C50, Address = {Wroclaw, Poland}, Author = {Christoph Benzm{\"u}ller}, Booktitle = {TABLEAUX 2015}, Doi = {10.1007/978-3-319-24312-2_15}, Editor = {Hans De Nivelle}, Keywords = {own, Higher Order Logic, Semantic Embedding, Automated Reasoning, Ontology Reasoning, Computational Metaphysics}, Note = {(Invited paper)}, Pages = {213-220}, Publisher = {Springer}, Series = {LNAI}, Title = {Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics}, Note = {Url (preprint): \url{http://christoph-benzmueller.de/papers/C50.pdf}}, Volume = 9323, Year = 2015, }

Powered by bibtexbrowser