Cita APA

(2009). Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings.

Citación estilo Chicago

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

Cita MLA

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