Automated reasoning
by IJCAR 2004 (2004 Cork, Ireland)
ISBN
3540223452
Automated reasoning è un automatic theorem proving, computer logic book di IJCAR 2004 (2004 Cork, Ireland).
Scopri Automated reasoning di IJCAR 2004 (2004 Cork, Ireland), automatic theorem proving.
Sull'Autore
IJCAR 2004 (2004 Cork, Ireland) è l'autore di Automated reasoning. 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 reasoning?+
Automated reasoning è un libro di Automatic theorem proving, Computer logic, MATHEMATICS, Infinity.
Chi ha scritto Automated reasoning?+
Automated reasoning è stato scritto da IJCAR 2004 (2004 Cork, Ireland).