9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : Proceedings - Lecture Notes in Computer Science

Save $1.28

• RRP $12.29
• $11.01

Save $2.26

• RRP $15.03
• $12.77

Save $3.58

• RRP $20.49
• $16.91

• $21.94

Save $9.89

• RRP $75.20
• $65.31

Save $0.10

• RRP $24.61
• $24.51

Save $3.74

• RRP $21.86
• $18.12

Save $6.36

• RRP $43.75
• $37.39

• $45.28