Handbook of Tableau Methods
Editat de M. D'Agostino et al.
31 mar 1999
Hardback
Preț: 1195.37 lei 1457.76 lei
43-57 zile
-18%
Cărți de Reiner Hähnle
Automated Deduction in Multiple-Valued Logics
Autor Reiner Hähnle
6 ian 1994
Hardback
Preț: 651.20 lei 1126.72 lei
40-51 zile
-42%