Logical frameworks
by G. Plotkin
- ISBN
- 0521413001
Logical frameworks è un logic, frames book di G. Plotkin.
Scopri Logical frameworks di G. Plotkin, logic.
Sull'Autore
è l'autore di Logical frameworks. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di G. Plotkin →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 è Logical frameworks?+
Logical frameworks è un libro di Logic, Frames, Automatic theorem proving, Symbolic and mathematical Logic, Logic programming.
Chi ha scritto Logical frameworks?+
Logical frameworks è stato scritto da G. Plotkin.