Uwe Egly, C. G. F. (2002). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Springer.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Čikaški stil citiranja (17. izdanje)
Uwe Egly, Chritian G. Fermüller. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Berlín, Alemania: Springer, 2002.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
MLA način citiranja (9. izdanje)
Uwe Egly, Chritian G. Fermüller. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Springer, 2002.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Upozorenje: Ovi citati možda nisu uvijek 100% točni.