Automated Deduction in Equational Logic and Cubic Curves

by William McCune and R. Padmanabhan

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540613986
• ISBN13: 9783540613985
• Release Date: January 1996
• Publisher: Springer
• Length: 238 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"