Proofs and reconstructions (bibtex)
by Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
Proofs and reconstructions (Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson), In FroCoS 2015 (Carsten Lutz, Silvio Ranise, eds.), Springer, LNAI, volume 9322, pp. 256-271, 2015. (Url (preprint):
Bibtex Entry:
  Address =	 {Wroclaw, Poland},
  Author =	 {Nik Sultana and Christoph Benzm{\"u}ller and
                  Lawrence C. Paulson},
  Booktitle =	 {FroCoS 2015},
  Doi =		 {10.1007/978-3-319-24246-0_16},
  Editor =	 {Carsten Lutz and Silvio Ranise},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic},
  Pages =	 {256-271},
  Publisher =	 {Springer},
  Series =	 {LNAI},
  Title =	 {Proofs and reconstructions},
  Note =	 {Url (preprint):
  Volume =	 9322,
  Year =	 2015,
Powered by bibtexbrowser