Cita APA

(2011). Automated reasoning with analytic tableaux and related methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings.

Citación estilo Chicago

Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. 2011.

Cita MLA

Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. 2011.