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. ((Invited paper))

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}, Url = {http://christoph-benzmueller.de/papers/C50.pdf}, Volume = 9323, Year = 2015, }

Powered by bibtexbrowser