LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (bibtex)
by Christoph Benzmüller
Reference:
LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (Christoph Benzmüller), 2009.
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}},
  Url =		 {http://christoph-benzmueller.de/papers/R47.pdf},
  Year =	 2009,
}
Powered by bibtexbrowser