Interactive Theorem Proving
ISBN
9783642228629
Interactive Theorem Proving è un logic design, software engineering book di M. C. J. D. van Eekelen.
Scopri Interactive Theorem Proving di M. C. J. D. van Eekelen, logic design.
Sull'Autore
è l'autore di Interactive Theorem Proving. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di M. C. J. D. van Eekelen →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 è Interactive Theorem Proving?+
Interactive Theorem Proving è un libro di Logic design, Software engineering, Computer science, Artificial intelligence, Automatic theorem proving.
Chi ha scritto Interactive Theorem Proving?+
Interactive Theorem Proving è stato scritto da M. C. J. D. van Eekelen.