Reasoning about names in higher-order abstract syntax. Vol. 4
Reasoning about names in higher-order abstract syntax
- 9788884200808
Un libro
di
Ivan Scagnetto
edito da
Forum Edizioni
, 2002
Reasoning about names in higher-order abstract syntax. Vol. 4. Reasoning about names in higher-order abstract syntax. Vol. 4
Dettagli Bibliografici
EAN ISBN-13
9788884200808
ISBN-10
8884200806
Titolo
Reasoning about names in higher-order abstract syntax. Vol. 4
Sottotitolo
Reasoning about names in higher-order abstract syntax
Autore
Editore
Data Pubblicazione
2002
Collana
Pagine
184
Genere
Classificazione
Punti Accumulabili
Consegna GRATIS con Corriere in ITALIA per ordini da 49,00 €
