Interactive theorem proving and program development
by Yves Bertot
- ISBN
- 3540208542
Interactive theorem proving and program development è un automatic theorem proving, computer programming book di Yves Bertot.
Scopri Interactive theorem proving and program development di Yves Bertot, automatic theorem proving.
Sull'Autore
è l'autore di Interactive theorem proving and program development. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Yves Bertot →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 and program development?+
Interactive theorem proving and program development è un libro di Automatic theorem proving, Computer programming, Calculus of operations, Proof theory, Formal languages.
Chi ha scritto Interactive theorem proving and program development?+
Interactive theorem proving and program development è stato scritto da Yves Bertot.