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 Bloomington, MN

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

$54.99

Get it at Barnes and Noble

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

$54.99

Loading Inventory...

Size: OS

Get it at Barnes and Noble

View Mall of America® within Bloomington, Minnesota

Shop Similar Products

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

$54.99

Loading Inventory...

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Barnes and Noble

$54.99

Loading Inventory...

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / Edition 1

Barnes and Noble

$54.99

Loading Inventory...

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

Barnes and Noble

$54.99

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

$54.99

Loading Inventory...

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

Barnes and Noble

$39.99

Loading Inventory...

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

Barnes and Noble

$54.99

Loading Inventory...

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

Barnes and Noble

$46.00

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

$54.99

Loading Inventory...

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

Barnes and Noble

$54.99

Loading Inventory...

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

Barnes and Noble

$54.99

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 Bloomington, MN

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

Size: OS

Shop Similar Products

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

Keep Shopping

On Sale

New In

Men

Women

Baby and Kids

Beauty

Jewelry

Home

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

.css-13o7eu2{display:block;}Barnes and Noble

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

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

Size: OS

Shop Similar Products

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

Keep Shopping

On Sale

New In

Men

Women

Baby and Kids

Beauty

Jewelry

Barnes and Noble