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ț: 330.24 lei 412.80 lei 6-8 săpt. -20%
