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. (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}, Addendum = {Preprint: \url{http://christoph-benzmueller.de/papers/C29.pdf}}, Volume = 5663, Year = 2009, }