A proof theory for general unification
by Wayne Snyder
- ISBN
- 9781461267584
A proof theory for general unification è un automatic theorem proving book di Wayne Snyder.
Scopri A proof theory for general unification di Wayne Snyder, automatic theorem proving.
Sull'Autore
è l'autore di A proof theory for general unification. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di Wayne Snyder →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 è A proof theory for general unification?+
A proof theory for general unification è un libro di Automatic theorem proving.
Chi ha scritto A proof theory for general unification?+
A proof theory for general unification è stato scritto da Wayne Snyder.