Computation, proof, machine

by Gilles Dowek · 1 review · 2016

Reviewed by	Journal	Date	Access
Andrew Arana	Metascience	2016-12-19	Restricted

Philosophy of Science

Also by Dowek

Les métamorphoses du calcul: Une étonnante histoire de mathématiques (2 reviews)

Search PhilReviews for this title