The following text field will produce suggestions that follow it as you type.

Home

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings / Edition 1

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings / Edition 1
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings / Edition 1

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings / Edition 1 in Bloomington, MN

Current price: $54.99
Loading Inventory...
Get it at Barnes and Noble

Size: OS

Get it at Barnes and Noble

Shop Similar Products

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Edition 1
Loading Inventory...
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Loading Inventory...
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Barnes and Noble
Current price: $54.99
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / Edition 1
Loading Inventory...
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Loading Inventory...
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Barnes and Noble
Current price: $54.99
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1
Loading Inventory...
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Computer Algebra: EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 Proceedings
Loading Inventory...
Computer Algebra: EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 Proceedings
Barnes and Noble
Current price: $39.99
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
Loading Inventory...
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
Barnes and Noble
Current price: $54.99
Numerical Analysis: Proceedings of the 9th Biennial Conference Held at Dundee, Great Britain, June 1981 / Edition 1
Loading Inventory...
Numerical Analysis: Proceedings of the 9th Biennial Conference Held at Dundee, Great Britain, June 1981 / Edition 1
Barnes and Noble
Current price: $46.00
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures / Edition 1
Loading Inventory...
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures / Edition 1
Barnes and Noble
Current price: $54.99
Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings / Edition 1
Loading Inventory...
Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Loading Inventory...
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Barnes and Noble
Current price: $54.99

Keep Shopping

on-sale.jpg

On Sale

new-in.jpg

New In

Men_s.jpeg

Men

women.jpg

Women

Baby+and+kids.jpeg

Baby and Kids

Beauty.jpeg

Beauty

Jewellry.jpeg

Jewelry

Powered by Adeptmind