Handbook of Automated Reasoning Handbook of Automated Reasoning, nr. II Editat de Alan J.A. Robinson et al. 21 iun 2001 Hardback Preț: 1191.60 lei 1419.27 lei 36-50 zile -16%
