The Mechanization of Natural Philosophy - Roux, Sophie; Garber, Dan; GARBER, D. A. N.; GARBER, D. A. N. (Dordrecht Springer Netherlands, 2013)