Automated Reasoning with Analytic Tableaux and Related Methods
by Uwe Egly
- ISBN
- 9783540456162
Automated Reasoning with Analytic Tableaux and Related Methods è un artificial intelligence, automatisches beweisverfahren book di Uwe Egly.
Scopri Automated Reasoning with Analytic Tableaux and Related Methods di Uwe Egly, artificial intelligence.
Sull'Autore
è l'autore di Automated Reasoning with Analytic Tableaux and Related Methods. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Uwe Egly →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 Artificial intelligence, Automatisches Beweisverfahren, Computer science, Software engineering.
Chi ha scritto Automated Reasoning with Analytic Tableaux and Related Methods?+
Automated Reasoning with Analytic Tableaux and Related Methods è stato scritto da Uwe Egly.