É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 ?