Handbook of tableau methods

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