Éditions de Mechanizing Proof
Filtres
Mechanizing Proof
Livre broché, 439 pages
Langue : English
Publié 1 mars 2004 par The MIT Press.
- ISBN :
- 978-0-262-63295-9
ISBN copié !
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 ?