Nantilus
Handbook of tableau methods
| Format : | Livre |
|---|---|
| Langue : | anglais |
| Titre complet : | Handbook of tableau methods / edited by Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle... [et al.] |
| Publié : |
Dordrecht, Boston, London :
Kluwer Academic
, cop. 1999 |
| Description matérielle : | 1 vol. (viii-670 p.) |
| Sujets : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | A 17028 | Prêt sur place | Disponible |