Proofs and reconstructions (bibtex)
by Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
Reference:
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.
Bibtex Entry:
@inproceedings{C48,
  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},
  Url =		 {http://christoph-benzmueller.de/papers/C48.pdf},
  Volume =	 9322,
  Year =	 2015,
}
Powered by bibtexbrowser