Cita APA

(2017). Automated reasoning with analytic tableaux and related methods: 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings.

Citación estilo Chicago

Automated Reasoning With Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. 2017.

Cita MLA

Automated Reasoning With Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. 2017.