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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.99
RRP:
$203.95 save $63.96
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

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$183.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Artificial Intelligence in Music, Sound, Art and Design
$151.99
Artificial Intelligence in Music, Sound, Art and Design
Paperback / softback
Pre-order - out Friday
Theory and Applications of Models of Computation
$338.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Machine Learning for Cyber Security
$210.99
Machine Learning for Cyber Security
Paperback / softback
Pre-order - out 30 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$287.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$243.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out 30 Apr 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$128.99
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out 30 Apr 2024
Fuzzy Logic in Artificial Intelligence
$108.99
Fuzzy Logic in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
The Vienna Development Method: The Meta-Language
$106.99
The Vienna Development Method: The Meta-Language
Paperback / softback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science
$120.99
Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $54
$142.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$285.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$160.99
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Cryptology and Network Security Save $30
$136.99
$167.95
Cryptology and Network Security
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
Release date Australia
June 24th, 1998
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Claude Kirchner
  • Edited by Helene Kirchner
Illustrations
XIV, 450 p.
Pages
450
Dimensions
156x234x23
ISBN-13
9783540646754
Product ID
2834767

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 >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence