Computation, Proof, Machine

G. Dowek

Publié en 2017 chez Cambridge University Press

Essai