Éditions de Mechanizing Proof

Filtres
Donald MacKenzie: Mechanizing Proof (Paperback, 2004, The MIT Press)

Mechanizing Proof

Livre broché, 439 pages

Langue : English

Publié 1 mars 2004 par The MIT Press.

ISBN :
978-0-262-63295-9
ISBN copié !
Donald MacKenzie: Mechanizing Proof (Hardcover, 2001, The MIT Press)

Mechanizing Proof

Livre relié, 450 pages

Langue : English

Publié 1 octobre 2001 par The MIT Press.

ISBN :
978-0-262-13393-7
ISBN copié !

Vous ne trouvez pas l’édition que vous cherchez ?