The curious inference of Boolos in MIZAR and OMEGA (bibtex)
by Christoph Benzmüller, Chad Brown
Reference:
The curious inference of Boolos in MIZAR and OMEGA (Christoph Benzmüller, Chad Brown), Chapter in From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec (Roman Matuszewski, Anna Zalewska, eds.), The University of Bialystok, Polen, Studies in Logic, Grammar, and Rhetoric, volume 10(23), pp. 299-388, 2007. (Url (preprint): http://christoph-benzmueller.de/papers/B6.pdf)
Bibtex Entry:
@incollection{B6,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown},
  Booktitle =	 {From Insight to Proof -- Festschrift in Honour of
                  Andrzej Trybulec},
  Editor =	 {Roman Matuszewski and Anna Zalewska},
  Isbn =	 {978-83-7431-128-1},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Higher Order Logic},
  Pages =	 {299-388},
  Publisher =	 {The University of Bialystok, Polen},
  Series =	 {Studies in Logic, Grammar, and Rhetoric},
  Title =	 {The curious inference of {B}oolos in {MIZAR} and
                  {OMEGA}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/B6.pdf}},
  Volume =	 {10(23)},
  Year =	 2007,
}
Powered by bibtexbrowser