on all orders of $59 or more
Computation, Proof, Machine
by Gilles Dowek , Translated by Pierre Guillot , Marion Roman
ISBN: 9780521133777
Copyright:
Paperback
Computation, Proof, Machine: Mathematics ...
ISBN: 9780521118019
Hardcover
The Age of Algorithms
by Abiteboul, Serge; Dowek, Gilles; Nelson, K-rae
ISBN: 9781108484572
ISBN: 9781108745420