Automated Deduction in Equational Logic and Cubic Curves Image close
Automated Deduction in Equational Logic and Cubic Curves by William McCune
Automated Deduction in Equational Logic and Cubic Curves by William McCune
Show Hide Adult Content
Automated Deduction in Equational Logic and Cubic Curves close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics  
Mathematics for scientists & engineers

Automated Deduction in Equational Logic and Cubic Curves

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$156.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Brain Inspired Cognitive Systems
$162.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
New Frontiers in Artificial Intelligence
$150.00
New Frontiers in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Discovery Science
$150.00
Discovery Science
Paperback / softback
Available - Usually ships in 3-4 weeks
New Frontiers in Mining Complex Patterns
$148.00
New Frontiers in Mining Complex Patterns
Paperback / softback
Available - Usually ships in 3-4 weeks
Methodologies for Intelligent Systems
$321.00
Methodologies for Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial Applications of Holonic and Multi-Agent Systems
$175.00
Industrial Applications of Holonic and Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Progress in Artificial Intelligence
$289.00
Progress in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Rough Sets
$263.00
Rough Sets
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Robotics and Applications
$150.00
Intelligent Robotics and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Augmented Cognition: Intelligent Technologies
$150.00
Augmented Cognition: Intelligent Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Adaptation and Learning in Multi-Agent Systems
$185.00
Adaptation and Learning in Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management
$314.00
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Soft Computing
$200.00
Advances in Soft Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial General Intelligence
$151.00
Artificial General Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Problem-Solving Methods by Dieter Fensel
$148.00
Problem-Solving Methods
by Dieter Fensel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Perception in Multimodal Dialogue Systems
$150.00
Perception in Multimodal Dialogue Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
June 12th, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
X, 238 p.
Pages
238
Dimensions
155x233x13
ISBN-13
9783540613985
Product ID
2805985

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence