Automated Deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings

Save $1.31

• RRP $12.48
• $11.17

Save $2.29

• RRP $15.25
• $12.96

Save $3.64

• RRP $20.81
• $17.17

• $22.28

Save $10.04

• RRP $76.34
• $66.30

Save $0.09

• RRP $24.98
• $24.89

Save $3.80

• RRP $22.19
• $18.39

• $52.19

• $45.97