Automated reasoning with analytic tableaux and related methods
by TABLEAUX '97 (1997 Pont-à-Mousson, France)
ISBN
3540629203
Automated reasoning with analytic tableaux and related methods è un parallel processing, automatic theorem proving book di TABLEAUX '97 (1997 Pont-à-Mousson, France).
Scopri Automated reasoning with analytic tableaux and related methods di TABLEAUX '97 (1997 Pont-à-Mousson, France), parallel processing.
Sull'Autore
è l'autore di Automated reasoning with analytic tableaux and related methods. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di TABLEAUX '97 (1997 Pont-à-Mousson, France) →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 reasoning with analytic tableaux and related methods?+
Automated reasoning with analytic tableaux and related methods è un libro di Parallel processing, Automatic theorem proving, Artificial intelligence.
Chi ha scritto Automated reasoning with analytic tableaux and related methods?+
Automated reasoning with analytic tableaux and related methods è stato scritto da TABLEAUX '97 (1997 Pont-à-Mousson, France).