Proofs and Algorithms : An Introduction to Logic and Computability
Gilles Dowek
Download Now
Format: eBook (PDF)
The Age of Algorithms
Serge (Institut National de Recherche en Informatique et en Abiteboul
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£15.99
£14.58
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketComputation, Proof, Machine : Mathematics Enters a New Age
Gilles Dowek
Download Now
Format: eBook (EPUB)
Computation, Proof, Machine : Mathematics Enters a New Age
Gilles Dowek
Download Now
Format: eBook (PDF)