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 : |
Chargement en cours