m

F Nous contacter

0
     
Ouvrage

H 0 Computation as logic

Lalement, René (Principal) ; Plaice, John (Traducteur)

Prentice Hall;Masson

1993

377 p.

978-0-13-770009-7

00024290

68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00024290 [disponible]
Z