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