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