Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Hermès,
1993
|
| Collection: | Traité des nouvelles technologies. Série Informatique
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |