Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
| Country | USA |
| Brand | Oneworld Publications |
| Manufacturer | Oneworld Publications |
| Binding | Paperback |
| ReleaseDate | 2015-05-14 |
| EANs | 9781780745183 |