Resolution Proof Systems Automated Reasoning Series, nr. 4 Autor Z. Stachniak 30 apr 1996 Hardback Preț: 667.75 lei 834.69 lei 43-57 zile -20%