Nantilus
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 : |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Rez-de-chaussée, salle 2 | 005 LAS | Empruntable | Disponible |
| Rez-de-chaussée, salle 2 | 005 LAS | Empruntable | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | 681.3 LAS A 01 | Empruntable | Disponible |