Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 377 p.
ISBN 978-0-13-770009-7
Prentice Hall international series in computer science
Localisation : Ouvrage RdC (LALE)
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
68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42
... Lire [+]