Updated in 6/5/2013 3:48:28 AM      Viewed: 111 times      (Journal Article)
Philosophical Transactions of the Royal Society A: Mathematical, 363 (1835): 2335-2350 (2005)

Computing and the cultures of proving

Donald MacKenzie