Mechanizing mathematical reasoning
ISBN
9783540322542
Mechanizing mathematical reasoning è un automatic theorem proving, technique book di Jörg H. Siekmann.
Scopri Mechanizing mathematical reasoning di Jörg H. Siekmann, automatic theorem proving.
Sull'Autore
è l'autore di Mechanizing mathematical reasoning. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Jörg H. Siekmann →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 è Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning è un libro di Automatic theorem proving, Technique, Symbolic and mathematical Logic, Reasoning, Automation.
Chi ha scritto Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning è stato scritto da Jörg H. Siekmann.