Cita APA (7th ed.)
Roy Dyckhoff. (2000). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings. Springer.
Cita Chicago (17th ed.)
Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings. Berlín, Alemania: Springer, 2000.
Cita MLA (9th ed.)
Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings. Springer, 2000.
Atenció: Aquestes cites poden no estar 100% correctes.