APA stil citiranja

Dyckhoff, R. (2000). Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings. Berlin ; New York: Springer.

Chicago stil citiranja

Dyckhoff, Roy. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings. Berlin ; New York: Springer, 2000.

MLA stil citiranja

Dyckhoff, Roy. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings. Berlin ; New York: Springer, 2000.