Nantilus
Logique et informatique, une introduction
Enregistré dans:
| Collectivité auteur : | |
|---|---|
| Autres auteurs : | , |
| Format : | Livre |
| Langue : | anglais français |
| Titre complet : | Logique et informatique, une introduction / [17e École de printemps d'informatique théorique, Albi, 1989]; contributions de Serge Grigorieff, Yves Lafont, Thierry Coquand... [et al.]; réunies et présentées par Bruno Courcelle; avant-propos de Maurice Nivat |
| Publié : |
Rocquencourt :
Institut national de recherche en informatique et en automatique
, 1991 |
| Description matérielle : | 257 p. |
| Collection : | Collection didactique (Le Chesnay). ; 8 |
| Sujets : |
BU Lettres
| | Cote | Prêt | Statut |
|---|---|---|---|
| Document à demander aux points d'accueil | S 6797 | Empruntable | Disponible |