Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

MLA

Giese, Martin, Arild Waaler and SpringerLink (Online service). Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

APA

Giese, M., Waaler, A. & SpringerLink (Online service). (2009). Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer.

Chicago

Giese, Martin, Arild Waaler and SpringerLink (Online service). Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. Edited by Martin Giese and Arild Waaler. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.