Automated Reasoning with Analytic Tableaux and Related Methods Image close
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Show Hide Adult Content
Automated Reasoning with Analytic Tableaux and Related Methods close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Number theory

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Knowledge Discovery and Data Mining
$318.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$265.00
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Brain Inspired Cognitive Systems
$205.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
$140.00
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Data Mining and Applications
$205.00
Advanced Data Mining and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Virtual Agents
$159.00
Intelligent Virtual Agents
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web
$156.00
Knowledge Engineering and Knowledge Management: Ontologies and the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Conceptual Structures: Current Practices
$165.00
Conceptual Structures: Current Practices
Paperback / softback
Available - Usually ships in 3-4 weeks
Belief Functions: Theory and Applications
$192.00
Belief Functions: Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases: Research Track
$295.00
Machine Learning and Knowledge Discovery in Databases: Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Constraints
$151.00
Recent Advances in Constraints
Paperback / softback
Available - Usually ships in 3-4 weeks
Modern Approaches in Applied Intelligence
$154.00
Modern Approaches in Applied Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Information and Database Systems
$159.00
Intelligent Information and Database Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Media Technology for Communicative Intelligence
$151.00
Intelligent Media Technology for Communicative Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Spatial Cognition IV, Reasoning, Action, Interaction
$300.00
Spatial Cognition IV, Reasoning, Action, Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
E-Commerce Agents
$153.00
E-Commerce Agents
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.
Release date NZ
September 3rd, 2003
Audience
  • General (US: Trade)
Contributors
  • Edited by Fiora Pirri
  • Edited by Marta Cialdea Mayer
Illustrations
X, 270 p.
Pages
270
Dimensions
155x233x15
ISBN-13
9783540407874
Product ID
3106465

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 >
Number theory
Books >
Non-Fiction >
Maths & Science
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence >
Knowledge-based systems / expert systems
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems