Automated Deduction in Classical and Non-Classical Logics: Selected Papers Lecture Notes in Computer Science, nr. 1761 Editat de Ricardo Caferra et al. 9 feb 2000 Paperback Preț: 333.22 lei 416.52 lei 43-57 zile -20%
