LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG

Benzmüller, Christoph

by Christoph Benzmüller

Reference:

LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (Christoph Benzmüller), 2009. (Url (preprint): http://christoph-benzmueller.de/papers/R47.pdf)

Bibtex Entry:

@unpublished{R47,
  Author =	 {Benzm{\"u}ller, Christoph},
  Howpublished = {International University in Germany, Bruchsal},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics, Ontology Reasoning},
  Title =	 {{LEO-II im Ontologieschliessen -- Antrag auf ein
                  Forschungsvorhaben an die DFG}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/R47.pdf}},
  Year =	 2009,
}