Nantilus
Dual tableaux: foundations, methodology, case studies
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Dual tableaux: foundations, methodology, case studies / by Ewa Orlowska, Joanna Golińska Pilarek |
| Publié : |
Dordrecht :
Springer Netherlands
, 2011 Springer e-books |
| Collection : | Trends in logic ; 33 |
| Disponibilité : | L'accès complet à cette ressource est réservé aux usagers des établissements qui en ont fait l'acquisition. |
| Sujets : |
| Notes : | L'impression du document génère 539 p. Description d'après consultation du 12 février 2013 Titre provenant de l'écran-titre |
|---|---|
| Historique des publications : | Numerisation de l'édition de : New York : Springer Science+Business Media, LLC et Springer e-books, 2011 |
| Configuration requise : | Nécessite un lecteur de fichier PDF |
| Bibliographie : | Bibliogr. Index |
| ISBN : | 978-94-0070005-5 |