Items related to Automated Deduction in Equational Logic and Cubic Curves...
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095) - Softcover
Synopsis
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 theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.
Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1996
- ISBN 10 3540613986
- ISBN 13 9783540613985
- BindingPaperback
- Number of pages231
Buy New
Learn more about this copy
US$ 22.85
Shipping:
US$ 3.99
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Deduction in Equational Logic and Cubic Curves
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 252. Seller Inventory # 26302105
Quantity: 1 available
Stock Image
Automated Deduction in Equational Logic and Cubic Curves
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 252 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7545798
Quantity: 1 available
Stock Image
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095)
Seller: Irish Booksellers, Portland, ME, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book. Seller Inventory # 28-3540613986-G
Quantity: 1 available
Seller Image
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science (1095)) by McCune, William, Padmanabhan, R. [Paperback ]
Seller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Soft Cover. Condition: new. Seller Inventory # 9783540613985
Quantity: 10 available
Seller Image
Automated Deduction in Equational Logic and Cubic Curves
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916918-n
Quantity: 5 available
Stock Image
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020172287
Quantity: Over 20 available
Stock Image
Automated Deduction in Equational Logic and Cubic Curves
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540613985_lsuk
Quantity: Over 20 available
Seller Image
Automated Deduction in Equational Logic and Cubic Curves
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 916918-n
Quantity: 5 available
Seller Image
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 3540613986
ISBN 13: 9783540613985
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies. Seller Inventory # 9783540613985
Quantity: 1 available
Seller Image
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer Berlin Heidelberg Jun 1996, 1996
ISBN 10: 3540613986
ISBN 13: 9783540613985
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies. 248 pp. Englisch. Seller Inventory # 9783540613985
Quantity: 2 available