Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Chicago Style (17th ed.) Zitazioa
Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007, Proceedings. Berlín, Alemania: Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
MLA (9th ed.) Zitazioa
Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix En Provence, France, July 3-6, 2007, Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Kontuz: berrikusi erreferentzia hauek erabili aurretik.