Giese, Martin.Waaler, Arild. (Eds.) (2009) Automated reasoning with analytic tableaux and related methods18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings Berlin ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
Martin Giese, Arild Waaler (eds.).
|Names:||Giese, Martin. | Waaler, Arild.|
|Published:||Berlin ; Springer, c2009.|
Lecture notes in computer science ; 5607.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7 Artificial intelligence.
|Topics:||Automatic theorem proving - Congresses.|