Using sophisticated models in resolution theorem proving
- ISBN
- 0387102310
Using sophisticated models in resolution theorem proving è un automatic theorem proving, data processing book di David M. Sandford.
Scopri Using sophisticated models in resolution theorem proving di David M. Sandford, automatic theorem proving.
Sull'Autore
David M. Sandford è l'autore di Using sophisticated models in resolution theorem proving. 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 è Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving è un libro di Automatic theorem proving, Data processing, Mathematics, Mathematical models.
Chi ha scritto Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving è stato scritto da David M. Sandford.