-
1Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings /... Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings /...by Miglioli, P. editor., Moscato, U. editor., Mundici, D. editor., Ornaghi, M. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
2Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings /... Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings /...by Miglioli, P. editor., Moscato, U. editor., Mundici, D. editor., Ornaghi, M. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS