Home

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

Barnes and Noble

Loading Inventory...

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

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

$54.99

Get it in StoreVisit retailer's website

Barnes and Noble

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

$54.99

Loading Inventory...

Size: OS

Get it in StoreVisit retailer's website

View CoolSprings Galleria within Franklin, Tennessee

Keep Shopping

On Sale

New In

Men

Women

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at CoolSprings Galleria

Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.

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 in Franklin, TN

Barnes and Noble

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

Size: OS

You May Also Like

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Edition 1

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

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / Edition 1

Computer Algebra: EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 Proceedings

ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991

Numerical Analysis: Proceedings of the 9th Biennial Conference Held at Dundee, Great Britain, June 1981 / Edition 1

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures / Edition 1

Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings / Edition 1

Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers