Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Price: 78.99 CAD
Availability: InStock
Author: Cláudia Nalon
ISBN: 9783319669021

Edited by Cláudia Nalon

Dec 20, 2017

$78.99 ~~Price reduced from $98.13 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes in Artificial Intelligence

Publisher: Springer International Publishing

ISBN: 9783319669021

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
Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Jaime A. Riascos Salas Paperback
$94.95
2 formats available
Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Jaime A. Riascos Salas Paperback
$72.95
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: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Revantha Ramanayake Paperback
$72.95
2 formats available
Computational Neuroscience: Third Latin American Workshop, LAWCN 2021, Sao Luis, Brazil, December 8-10, 2021, Revised Selected Papers

Paulo Rogério d Ribeiro Paperback
$131.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
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Michael Fisher Paperback
$105.50
Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers

Mariana González Paperback
$124.50
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
Computational Processing Of The Portuguese Language: 14th International Conference, Propor 2020, Evora, Portugal, March 2-4, 2020, Proceedings

Paulo Quaresma Paperback
$80.50
2 formats available
Statistical Language And Speech Processing: 8th International Conference, Slsp 2020, Cardiff, Uk, October 14-16, 2020, Proceedings

Luis Espinosa-anke Paperback
$80.50
2 formats available
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

David Basin Paperback
$160.95
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
Advanced Engineering, Technology and Applications: Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers

Alessandro Ortis Paperback
$145.95
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
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Zied Bouraoui Paperback
$58.50
Structural, Syntactic, And Statistical Pattern Recognition: Joint Iapr International Workshops, S+sspr 2020, Padua, Italy, January 21-22, 2021, Proceedings

Andrea Torsello Paperback
$80.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
Applied Machine Learning and Data Analytics: 5th International Conference, AMLDA 2022, Reynosa, Tamaulipas, Mexico, December 22-23, 2022, Revised Selected Papers

M.a. Jabbar Paperback
$124.50
2 formats available

Editorial reviews

claudia nalon

Author

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: 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: 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: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Paperback
$87.95
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: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

Amrita Basu Paperback
$160.95
2 formats available
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
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
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
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
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 Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Pascal Fontaine Paperback
$131.50
2 formats available
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

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

Inma Cabrera Paperback
$109.50
2 formats available
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
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: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings

Tanya Braun Paperback
$124.50
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

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, 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

Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

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: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Computational Neuroscience: Third Latin American Workshop, LAWCN 2021, Sao Luis, Brazil, December 8-10, 2021, Revised Selected Papers

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

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

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers

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

Computational Processing Of The Portuguese Language: 14th International Conference, Propor 2020, Evora, Portugal, March 2-4, 2020, Proceedings

Statistical Language And Speech Processing: 8th International Conference, Slsp 2020, Cardiff, Uk, October 14-16, 2020, Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

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

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

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

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

Structural, Syntactic, And Statistical Pattern Recognition: Joint Iapr International Workshops, S+sspr 2020, Padua, Italy, January 21-22, 2021, Proceedings

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

Applied Machine Learning and Data Analytics: 5th International Conference, AMLDA 2022, Reynosa, Tamaulipas, Mexico, December 22-23, 2022, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, 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: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, 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: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

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

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

Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, 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

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

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

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

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

Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, 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: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings

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