Murray, N. V. (1999). Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings. Berlin ; New York: Springer.
Chicago stil citiranjaMurray, Neil V. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings. Berlin ; New York: Springer, 1999.
MLA stil citiranjaMurray, Neil V. Automated reasoning with analytic tableaux and related methods: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings. Berlin ; New York: Springer, 1999.