Automated Reasoning with Analytic Tableaux and Related Methods Editat de Marta Cialdea Mayer et al. 3 sep 2003 Paperback Preț: 321.56 lei 401.94 lei 43-57 zile -20%
