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