Semantics and logics of computation
by Peter Dybjer
- ISBN
- 0521580579
Semantics and logics of computation è un electronic data processing, symbolic and mathematical logic book di Peter Dybjer.
Scopri Semantics and logics of computation di Peter Dybjer, electronic data processing.
Sull'Autore
Peter Dybjer è l'autore di Semantics and logics of computation. 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 è Semantics and logics of computation?+
Semantics and logics of computation è un libro di Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages.
Chi ha scritto Semantics and logics of computation?+
Semantics and logics of computation è stato scritto da Peter Dybjer.