Automated Reasoning with Analytic Tableaux and Related Methods - 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
- Författare
- Bernhard. Beckert
- (Edited by Bernhard Beckert.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Tyskland, Berlin, Heidelberg | 978-3-540-31822-4 | |
| Springer Berlin / Heidelberg | Utgivningsland okänt / Ej specificerat | v.: digital |