Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul / Richard Lassaigne, Michel de Rougemont |
Publié : |
Paris :
Hermès
, 1993 |
Description matérielle : | VIII-248 p. |
Collection : | Traité des nouvelles technologies. Série Informatique. ; 1993 |
Sujets : |
Chargement en cours