-
1Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings / Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings /by Cialdea Mayer, Marta. editor., Pirri, Fiora. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
2Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings / Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings /by Cialdea Mayer, Marta. editor., Pirri, Fiora. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS