Automated theorem proving
- ISBN
- 0387950753
Automated theorem proving è un automatic theorem proving, computer science book di Monroe Newborn.
Scopri Automated theorem proving di Monroe Newborn, automatic theorem proving.
Sull'Autore
è l'autore di Automated theorem proving. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Monroe Newborn →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 è Automated theorem proving?+
Automated theorem proving è un libro di Automatic theorem proving, Computer science, Artificial intelligence.
Chi ha scritto Automated theorem proving?+
Automated theorem proving è stato scritto da Monroe Newborn.