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

Publisher City : Cambridge

Publisher country : Grande-Bretagne

Language : English

EAN13 : 9780137700097

ISBN : 0-13-770009-1

Collation : 24 cm#rel. ; Bibliogr. ; Index

Series : Prentice Hall international series in computer science

Location : Ouvrage RdC (LALE)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies