Nivelle, H. d. (2015). Automated reasoning with analytic tableaux and related methods: 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Nivelle, Hans de. Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; Proceedings. Cham [u.a.]: Springer, 2015.
MLA-Zitierstil (9. Ausg.)Nivelle, Hans de. Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; Proceedings. Springer, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.