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