Cita APA

(2013). Automated reasoning with analytic tableaux and related methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings.

Citación estilo Chicago

Automated Reasoning With Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. 2013.

Cita MLA

Automated Reasoning With Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings. 2013.