Shop Graduation Gifts from Swarovski HERE

Home

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

Barnes and Noble

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

$54.99

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

Barnes and Noble

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

$54.99

Size: OS

Loading Inventory...

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

You May Also Like

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

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

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

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

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

Nearrings and Nearfields: Proceedings of the Conference on Nearrings and Nearfields, Hamburg, Germany July 27 - August 3, 2003

Loading Inventory...

Nearrings and Nearfields: Proceedings of the Conference on Nearrings and Nearfields, Hamburg, Germany July 27 - August 3, 2003

Coherent atomic matter waves - Ondes de matiere coherentes: 27 July - 27 August 1999 / Edition 1

Loading Inventory...

Coherent atomic matter waves - Ondes de matiere coherentes: 27 July - 27 August 1999 / Edition 1

Proceedings of the 8th International Conference on Fracture, Fatigue and Wear: FFW 2020, August 26-27 2020

Loading Inventory...

Proceedings of the 8th International Conference on Fracture, Fatigue and Wear: FFW 2020, August 26-27 2020

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

Loading Inventory...

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

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

Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / Edition 1

Loading Inventory...

Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / Edition 1

Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings / Edition 1

Loading Inventory...

Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings / Edition 1

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

Men

Women

baby abd kids.jpg

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info