Automated Deduction in Classical and Non-Classical Logics Image close
Automated Deduction in Classical and Non-Classical Logics
Automated Deduction in Classical and Non-Classical Logics
Show Hide Adult Content
Automated Deduction in Classical and Non-Classical Logics close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Automated Deduction in Classical and Non-Classical Logics

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

Format:

Paperback / softback
$138.99
RRP:
$158.95 save $19.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 $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 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
$187.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$337.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$288.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 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 Tuesday
Requirements Engineering: Foundation for Software Quality
$151.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$242.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Mathematical Foundations of Programming Semantics Save $50
$146.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$291.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Construction Save $9
$148.99
$158.95
Compiler Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ACCV 2022
$270.99
Computer Vision – ACCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Cryptology - ASIACRYPT '96 Save $54
$141.99
$196.95
Advances in Cryptology - ASIACRYPT '96
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Evolutionary Computing Save $11
$283.99
$295.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Cognitive Computing – ICCC 2020
$139.99
Cognitive Computing – ICCC 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning – ICANN 2021
$270.99
Artificial Neural Networks and Machine Learning – ICANN 2021
Paperback / softback
Available - Usually ships in 3-4 weeks
Relational and Algebraic Methods in Computer Science Save $9
$139.99
$149.95
Relational and Algebraic Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories. Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the area; most of the results presented rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm.
Release date Australia
February 9th, 2000
Audience
  • Professional & Vocational
Contributors
  • Edited by Gernot Salzer
  • Edited by Ricardo Caferra
Illustrations
VIII, 304 p.
Pages
304
Dimensions
156x234x16
ISBN-13
9783540671909
Product ID
5811545

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