Browse by Authors and Editors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Backhouse, Roland (2012) First-past-the-post games. In: Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Lecture notes in computer science (7342). Springer, Berlin, pp. 157-176. ISBN 9783642311130 (electronic); 9783642311123 (print)

Dennis, Louise Abigail and Nogueira, Pablo (2005) What can be learned from failed proofs of non-theorems? In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, September, Oxford.

This list was generated on Thu Oct 30 23:44:11 2014 GMT.