Reviews matching “Computation, proof, machine”

1 result

BookAuthorReviewerJournalDate
Computation, proof, machine Gilles Dowek Andrew Arana Metascience 2016-12-19

Open this search with filters