in_proceedings
Detail
Publication date: 1 de June, 202118th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’09)
| Publisher | Springer-Verlag |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 5607/2009 |
| ISBN | 978-3-642-02715-4 |
| Pub. Date | 01/01/2009 |