Computers in mathematical inquiry (2008)

by Jeremy Avigad
Venue:in The Philosophy of Mathematical Practice
Citations:3 - 0 self