Nantilus
Handbook of tableau methods
Enregistré dans:
| 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 : |
Chargement en cours