Search: Progress In The Development Of
[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. (Preprint: [bibtex] [doi]
Powered by bibtexbrowser