Computation as logic
logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique
Ville d'édition : Cambridge
Pays d'édition : Grande-Bretagne
Langue : Anglais
EAN13 : 9780137700097
ISBN : 0-13-770009-1
Collation : 24 cm#rel. ; Bibliogr. ; Index
Collection : Prentice Hall international series in computer science
Localisation : Ouvrage RdC (LALE)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00024290 | [disponible] |