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 : |
Bibliographie : | Bibliogr. p. 631-655. Références bibliogr. en fin de contributions. Index |
---|---|
ISBN : | 0-7923-5627-6 |