Mechanical Geometry Theorem Proving
- ISBN
- 9789027726506
Mechanical Geometry Theorem Proving è un automatic theorem proving book di Shang-Ching Chou.
Scopri Mechanical Geometry Theorem Proving di Shang-Ching Chou, automatic theorem proving.
Sull'Autore
è l'autore di Mechanical Geometry Theorem Proving. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Shang-Ching Chou →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving è un libro di Automatic theorem proving.
Chi ha scritto Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving è stato scritto da Shang-Ching Chou.