Donald MacKenzie

Liens externes

Livres de Donald MacKenzie

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

Mechanizing Proof

de