Theorem proving in higher order logics
by TPHOLs '96 (1996 Turku, Finland)
- ISBN
- 9783540615873
Theorem proving in higher order logics è un automatic theorem proving book di TPHOLs '96 (1996 Turku, Finland).
Scopri Theorem proving in higher order logics di TPHOLs '96 (1996 Turku, Finland), automatic theorem proving.
Sull'Autore
TPHOLs '96 (1996 Turku, Finland) è 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 TPHOLs '96 (1996 Turku, Finland).