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

Home

Barnes and Noble

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

Unfortunately, this item is no longer available, but we found some similar items you might like.

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-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Edition 1

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

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

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

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

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

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

Barnes and Noble
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. 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

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

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

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

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

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

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

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

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

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

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

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

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

Barnes and Noble
Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / Edition 1

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / Edition 1

Barnes and Noble
AIME 89: Second European Conference on Artificial Intelligence in Medicine, London, August 29th-31st 1989. Proceedings / Edition 1

AIME 89: Second European Conference on Artificial Intelligence in Medicine, London, August 29th-31st 1989. Proceedings / Edition 1

Barnes and Noble
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Barnes and Noble
Directions in Databases: 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings / Edition 1

Directions in Databases: 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings / Edition 1

Barnes and Noble
Artificial General Intelligence: 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

Artificial General Intelligence: 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

Barnes and Noble
Powered by Adeptmind