Automated Deduction - CADE-19 Image close
Automated Deduction - CADE-19
Automated Deduction - CADE-19
Show Hide Adult Content
Automated Deduction - CADE-19 close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.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 $38.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 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 book constitutes the refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.
Release date NZ
July 16th, 2003
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributor
  • Edited by Franz Baader
Illustrations
XII, 512 p.
Pages
512
Dimensions
156x234x26
ISBN-13
9783540405597
Product ID
2816130

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 >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence