Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Name: Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings
Price: 102.50 CAD
Availability: InStock
Author: Cláudia Nalon
ISBN: 9783319669014

Renate A. Schmidt Edited by Cláudia Nalon

Aug 31, 2017

$102.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 513 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

381

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783319669014

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Paperback
$80.50
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Hans De Nivelle Paperback
$80.50
Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Paperback
$80.50
2 formats available
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Philippe Mathieu Paperback
$109.50
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: 21st International Conference, PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings

Philippe Mathieu Paperback
$131.50
2 formats available
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake Paperback
$72.95
2 formats available
Advancements in Automation, Robotics and Sensing: First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers

B Vinod Paperback
$80.50
2 formats available
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection: International Workshops of PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings

Alfonso González-brione Paperback
$80.50
2 formats available
Cognitive Systems and Information Processing: 6th International Conference, ICCSIP 2021, Suzhou, China, November 20-21, 2021, Revised Selected Papers

Fuchun Sun Paperback
$160.95
2 formats available
Applications of Computational Intelligence: Third IEEE Colombian Conference, ColCACI 2020, Cali, Colombia, August 7-8, 2020, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$80.50
2 formats available
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Michael Fisher Paperback
$105.50
Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$94.95
2 formats available
Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$58.50
Cognitive Systems and Information Processing: 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part I

Fuchun Sun Paperback
$145.95
2 formats available
New Trends in Database and Information Systems II: Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II

Nick Bassiliades Paperback
$248.50
Advances in Neural Computation, Machine Learning, and Cognitive Research VII: Selected Papers from the XXV International Conference on Neuroinformatics, October 23-27, 2023, Moscow, Russia

Boris Kryzhanovsky Paperback
$408.95
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2018 International Conference on Neuroergonomics and Cognitive Engineering, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida USA

Hasan Ayaz Paperback
$248.50
2 formats available
Advanced Engineering, Technology and Applications: Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers

Alessandro Ortis Paperback
$58.50
Bio-Inspired Computing: Theories and Applications: 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers

Linqiang Pan Paperback
$160.95
2 formats available
Advances in Signal Processing and Intelligent Recognition Systems: 5th International Symposium, SIRS 2019, Trivandrum, India, December 18-21, 2019, Revised Selected Papers

Sabu M. Thampi Paperback
$80.50
2 formats available

Editorial reviews

claudia nalon

Author

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake Paperback
$72.95
2 formats available
Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Paperback
$80.50
2 formats available
Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

Anupam Das Paperback
$80.50
2 formats available
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Hans De Nivelle Paperback
$80.50
Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Jens Lemanski Paperback
$102.50
2 formats available
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Paperback
$80.50
Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Paperback
$87.95
2 formats available
Diagrammatic Representation And Inference: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

Amrita Basu Paperback
$160.95
2 formats available
Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9-13, 2024, Proceedings

Inma Cabrera Paperback
$109.50
2 formats available
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Zied Bouraoui Paperback
$145.95
2 formats available
Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structures, ICCS 2022, Munster, Germany, September 12-15, 2022, Proceedings

Tanya Braun Paperback
$87.95
2 formats available
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Dongming Wang Paperback
$80.50
Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings

Dominik Endres Paperback
$80.50
2 formats available
Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Gloria Corpas Pastor Paperback
$102.50
2 formats available
Automated Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Pascal Fontaine Paperback
$131.50
2 formats available
Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, Proceedings

Mehwish Alam Paperback
$80.50
2 formats available
Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings

Tanya Braun Paperback
$124.50
2 formats available
Symbolic And Quantitative Approaches To Reasoning With Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings

Jiåina Vejnarov Paperback
$189.95
2 formats available
Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Manuel Ojeda-Aciego Paperback
$80.50
2 formats available
Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Peter Chapman Paperback
$160.95
2 formats available

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Overview

You May Also Like

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: 21st International Conference, PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Advancements in Automation, Robotics and Sensing: First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection: International Workshops of PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings

Cognitive Systems and Information Processing: 6th International Conference, ICCSIP 2021, Suzhou, China, November 20-21, 2021, Revised Selected Papers

Applications of Computational Intelligence: Third IEEE Colombian Conference, ColCACI 2020, Cali, Colombia, August 7-8, 2020, Revised Selected Papers

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Cognitive Systems and Information Processing: 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part I

New Trends in Database and Information Systems II: Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II

Advances in Neural Computation, Machine Learning, and Cognitive Research VII: Selected Papers from the XXV International Conference on Neuroinformatics, October 23-27, 2023, Moscow, Russia

Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2018 International Conference on Neuroergonomics and Cognitive Engineering, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida USA

Advanced Engineering, Technology and Applications: Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers

Bio-Inspired Computing: Theories and Applications: 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers

Advances in Signal Processing and Intelligent Recognition Systems: 5th International Symposium, SIRS 2019, Trivandrum, India, December 18-21, 2019, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Diagrammatic Representation And Inference: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9-13, 2024, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structures, ICCS 2022, Munster, Germany, September 12-15, 2022, Proceedings

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings

Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Automated Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, Proceedings

Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings

Symbolic And Quantitative Approaches To Reasoning With Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings

Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings