APA (7. basım) Alıntı

SpringerLink (Online service), Larchey-Wendling, D., & Galmiche, D. (2013). Automated reasoning with analytic tableaux and related methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17. basım) Atıf

SpringerLink (Online service), Dominique Larchey-Wendling, ve Didier Galmiche. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Atıf

SpringerLink (Online service), et al. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..