Marta Cialdea Mayer, F. P. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Chicago Style (17th ed.) Zitazioa
Marta Cialdea Mayer, Fiora Pirri. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Berlín, Alemania: Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
MLA (9th ed.) Zitazioa
Marta Cialdea Mayer, Fiora Pirri. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Kontuz: berrikusi erreferentzia hauek erabili aurretik.