Computation, Proof, Machine

To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.

Weitere Produkte vom selben Autor

Computation, Proof, Machine Dowek, Gilles

59,00 €*
Introduction to the Theory of Programming Languages Dowek, Gilles, Lévy, Jean-Jacques

42,50 €*
Proofs and Algorithms Dowek, Gilles

42,50 €*
The Age of Algorithms Abiteboul, Serge, Dowek, Gilles

21,50 €*