Progress in the Development of Automated Theorem Proving for Higher-order Logic (bibtex)
by Geoff Sutcliffe, Christoph Benzmüller, Chad Brown, Frank Theiss
Reference:
Progress in the Development of Automated Theorem Proving for Higher-order Logic (Geoff Sutcliffe, Christoph Benzmüller, Chad Brown, Frank Theiss), In Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Renate Schmidt, ed.), Springer, LNCS, volume 5663, pp. 116-130, 2009. (Url (preprint): http://christoph-benzmueller.de/papers/C29.pdf)
Bibtex Entry:
@inproceedings{C29,
  Author =	 {Geoff Sutcliffe and Christoph Benzm{\"u}ller and
                  Chad Brown and Frank Theiss},
  Booktitle =	 {Automated Deduction - CADE-22, 22nd International
                  Conference on Automated Deduction, Montreal, Canada,
                  August 2-7, 2009. Proceedings},
  Doi =		 {10.1007/978-3-642-02959-2_8},
  Editor =	 {Renate Schmidt},
  Isbn =	 {978-3-642-02958-5},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning},
  Pages =	 {116-130},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Progress in the Development of Automated Theorem
                  Proving for Higher-order Logic},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C29.pdf}},
  Volume =	 5663,
  Year =	 2009,
}
Powered by bibtexbrowser