7th International Conference on Automated Deduction
by R. Shostak
- ISBN
- 9783540960225
7th International Conference on Automated Deduction è un symbolic and mathematical logic, automatic theorem proving book di R. Shostak.
Scopri 7th International Conference on Automated Deduction di R. Shostak, symbolic and mathematical logic.
Sull'Autore
è l'autore di 7th International Conference on Automated Deduction. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di R. Shostak →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 è 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction è un libro di Symbolic and mathematical Logic, Automatic theorem proving.
Chi ha scritto 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction è stato scritto da R. Shostak.