Search: Progress In The Development Of
2009
[1]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] [doi]
Powered by bibtexbrowser