Salta al contingut principal

Computation, Proof, Machine

Computation, Proof, Machine

Autor: Dowek/Guillot/Roman
Matèria: Computer Science; Mathematics; Computing: General Interest; Mathematics (general)
Editor: Cambridge University Press
Data publicació: 2015
Identificador: 9781139026581
Col·lecció: Computer Science and Information Technology
Accés