What is a proof (2005)

Cached

Download Links

by Alan Bundy , Mateja Jamnik , Andrew Fugard
Venue:Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Citations:4 - 0 self