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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Artificial intelligence  
Expert systems / knowledge-based systems

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

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
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
Language Processing and Knowledge in the Web
$138.00
Language Processing and Knowledge in the Web
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
Advanced Data Mining and Applications
$205.00
Advanced Data Mining and Applications
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
Automated Reasoning with Analytic Tableaux and Related Methods
$151.00
Automated Reasoning with Analytic Tableaux and Related Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Intelligent Systems
$153.00
Foundations of Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Artificial Intelligence: PRICAI 2016 Workshops
$153.00
Trends in Artificial Intelligence: PRICAI 2016 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Progress in Artificial Intelligence
$308.00
Progress in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
MICAI 2009: Advances in Artificial Intelligence
$309.00
MICAI 2009: Advances in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Collective Intelligence. Technologies and Applications
$160.00
Computational Collective Intelligence. Technologies and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent and Multi-Agent Systems: Technologies and Applications
$313.00
Agent and Multi-Agent Systems: Technologies and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Rough Sets and Knowledge Technology
$171.00
Rough Sets and Knowledge Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Text, Speech, and Dialogue
$163.00
Text, Speech, and Dialogue
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Machine Learning
$156.00
Advances in Machine Learning
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.  The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Release date NZ
August 31st, 2017
Contributors
  • Edited by Claudia Nalon
  • Edited by Renate A Schmidt
Pages
381
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
75 Illustrations, black and white; XII, 381 p. 75 illus.
ISBN-13
9783319669014
Product ID
26873966

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 science >
Artificial intelligence >
Expert systems / knowledge-based systems