APA-Zitierstil (7. Ausg.)

(1996). Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; Proceedings. Berlin [u.a.]: Springer, 1996.

MLA-Zitierstil (9. Ausg.)

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; Proceedings. Springer, 1996.