Proceedings
by International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- ISBN
- 0387528857
Proceedings è un automatic theorem proving, symbolic and mathematical logic book di International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).
Scopri Proceedings di International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany), automatic theorem proving.
Sull'Autore
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) è l'autore di Proceedings. 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 è Proceedings?+
Proceedings è un libro di Automatic theorem proving, Symbolic and mathematical Logic, Theoremes, Automatisches Beweisverfahren.
Chi ha scritto Proceedings?+
Proceedings è stato scritto da International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany).