Automated Deduction in Equational Logic and Cubic Curves Lecture Notes in Computer Science, nr. 1095 Autor William McCune et al. 12 iun 1996 Paperback Preț: 317.68 lei 397.10 lei 6-8 săpt. -20%
