Dual Tableaux: Foundations, Methodology, Case Studies
Edición de la obra Dual Tableaux: Foundations, Methodology, Case Studies
| Autor | Ewa Orlowska |
|---|---|
| Editorial | Springer Netherlands |
| Fecha de publicación | 2011 |
| Lugar | Dordrecht |
| Idioma | inglés |
| Formato | [electronic resource] / |
| ISBN-13 | 9789400700055 |
| Serie | Trends in Logic -- 33 |
| Número de Cutter | O72d |