Monographie
Formal structures for computation and deduction
1986
i, 184 p.
HUET f
déductibilité ; langage de programmation ; logique ; preuve
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Fxx ; 68-XX
Pays d'édition : France
Ville d'édition : Rocquencourt
Langue : anglais
Format : 24 cm
Illustrations : Fig.
Bibliographie : Notes bibliographiques
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | HUET f MAT006878 | [disponible] | YRéserver |