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

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Price: 72.95 CAD
Availability: InStock
Author: Josef Urban
ISBN: 9783031435126

Revantha Ramanayake Edited by Josef Urban

Sep 14, 2023

$72.95

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 365 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

482

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature

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

ISBN: 9783031435126

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: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Kai Brünnler Paperback
$80.50
Web Information Systems and Applications: 21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, Proceedings

Cheqing Jin Paperback
$131.50
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: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate A. Schmidt Paperback
$102.50
2 formats available
Advanced Data Mining And Applications: 16th International Conference, Adma 2020, Foshan, China, November 12-14, 2020, Proceedings

Xiaochun Yang Paperback
$160.95
2 formats available
Advances in Computational Collective Intelligence: 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 - October 1, 2021, Proceedings

Krystian Wojtkiewicz Paperback
$189.95
2 formats available
Contemporary Computing: 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings

Manish Parashar Paperback
$80.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
Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

Mehdi Dastani 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
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Michael Fisher Paperback
$105.50
Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Mir Abolfazl Mostafavi Paperback
$87.95
2 formats available
Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Jürgen Schmidhuber Paperback
$80.50
Social Media Processing: 11th Chinese National Conference, SMP 2023, Anhui, China, November 23-26, 2023, Proceedings

Feng Wu Paperback
$116.95
2 formats available
Artificial Intelligence and Machine Learning: 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers

Bart Bogaerts Paperback
$80.50
2 formats available
Information and Software Technologies: 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Audrius Lopata Paperback
$124.50
2 formats available
Artificial Life and Computational Intelligence: First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Stephan Chalup Paperback
$80.50
Information and Software Technologies: 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Audrius Lopata Paperback
$58.50
Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings

Ming Xie Paperback
$321.50

Editorial reviews

josef urban

Author

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

Renate A. Schmidt Paperback
$102.50
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
Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Paperback
$87.95
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
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
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
Diagrammatic Representation And Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings

Ahti-veikko Pietarinen Paperback
$131.50
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
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
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
Text, Speech, And Dialogue: 24th International Conference, Tsd 2021, Olomouc, Czech Republic, September 6-9, 2021, Proceedings

Kamil Ekå¡tein Paperback
$175.50
2 formats available
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura Paperback
$131.50
2 formats available
Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka Paperback
$72.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
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

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

Overview

You May Also Like

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: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

Web Information Systems and Applications: 21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, 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: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Advanced Data Mining And Applications: 16th International Conference, Adma 2020, Foshan, China, November 12-14, 2020, Proceedings

Advances in Computational Collective Intelligence: 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 - October 1, 2021, Proceedings

Contemporary Computing: 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. 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

Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, 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

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

Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Artificial General Intelligence: 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings

Social Media Processing: 11th Chinese National Conference, SMP 2023, Anhui, China, November 23-26, 2023, Proceedings

Artificial Intelligence and Machine Learning: 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers

Information and Software Technologies: 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Artificial Life and Computational Intelligence: First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Information and Software Technologies: 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, 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

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

Symbolic And Quantitative Approaches To Reasoning With Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2021, 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

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

Diagrammatic Representation And Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings

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

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

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

Text, Speech, And Dialogue: 24th International Conference, Tsd 2021, Olomouc, Czech Republic, September 6-9, 2021, Proceedings

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Graph-Based Representation and Reasoning: 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, 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