Automated deduction in multiple-valued logics
ISBN
0198539894
Automated deduction in multiple-valued logics è un automatic theorem proving, symbolic and mathematical logic book di Reiner Hähnle.
Scopri Automated deduction in multiple-valued logics di Reiner Hähnle, automatic theorem proving.
Sull'Autore
Reiner Hähnle è l'autore di Automated deduction in multiple-valued logics. 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 deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics è un libro di Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical.
Chi ha scritto Automated deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics è stato scritto da Reiner Hähnle.