Automated Reasoning with Analytic Tableaux and Related Methods electronic resource : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / edited by Didier Galmiche
- Författare
- TABLEAUX '97
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |