Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : Proceedings (Lecture notes in computer science, Lecture notes in artificial intelligence 3702)
- Författare
- Bernhard Beckert
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer Berlin Heidelberg | 2005 | Utgivningsland okänt / Ej specificerat |