APA-Zitierstil (7. Ausg.)

(1995). Theorem proving with analytic tableaux and related methods: 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings. Springer. https://doi.org/10.1007/3-540-59338-1

Chicago-Zitierstil (17. Ausg.)

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995. https://doi.org/10.1007/3-540-59338-1.

MLA-Zitierstil (9. Ausg.)

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; Proceedings. Springer, 1995. https://doi.org/10.1007/3-540-59338-1.