Editions of Computation, proof, machine

Filters
No cover

Gilles Dowek: Computation, proof, machine (2015)

Computation, proof, machine

152 pages

English language

Published Sept. 11, 2015

ISBN:
978-0-521-11801-9
Copied ISBN!
OCLC Number:
903763239

Can't find the edition you're looking for?