Automated development of fundamental mathematical theories
by Art Quaife
- ISBN
- 0792320212
Automated development of fundamental mathematical theories è un artificial intelligence, automatic theorem proving book di Art Quaife.
Scopri Automated development of fundamental mathematical theories di Art Quaife, artificial intelligence.
Sull'Autore
Art Quaife è l'autore di Automated development of fundamental mathematical theories. Esplora il suo catalogo completo su Booklogr.
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 development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories è un libro di Artificial intelligence, Automatic theorem proving, Proof theory.
Chi ha scritto Automated development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories è stato scritto da Art Quaife.