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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
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.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.