Theorem proving in higher order logics
- ISBN
- 9783540230175
Theorem proving in higher order logics è un automatic theorem proving book di .
Scopri Theorem proving in higher order logics di , automatic theorem proving.
Sull'Autore
è l'autore di Theorem proving in higher order logics. 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 è Theorem proving in higher order logics?+
Theorem proving in higher order logics è un libro di Automatic theorem proving.
Chi ha scritto Theorem proving in higher order logics?+
Theorem proving in higher order logics è stato scritto da .