Automated Deduction in Equational Logic and Cubic Curves Autor William McCune et al. 12 iun 1996 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%