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
Availability: InStock
Author: Revantha Ramanayake
ISBN: 9783031435133

Edited by Revantha Ramanayake

Oct 15, 2023

$0.00

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature Switzerland

ISBN: 9783031435133

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

Kai Brünnler Paperback
$80.50
Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Dimitris Fotakis 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
Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, the Netherlands - October 2011

F.m.t. Brazier Hardcover
$321.50
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

J.W. Lloyd Paperback
$160.95
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
Chinese Computational Linguistics: 19th China National Conference, Ccl 2020, Hainan, China, October 30 - November 1, 2020, Proceedings

Maosong Sun Paperback
$80.50
2 formats available
Parallel Computational Technologies: 16th International Conference, PCT 2022, Dubna, Russia, March 29-31, 2022, Revised Selected Papers

Leonid Sokolinsky Paperback
$145.95
2 formats available
IUTAM Symposium on Evolutionary Methods in Mechanics: Proceedings of the IUTAM Symposium held in Cracow, Poland, 24-27 September, 2002

Tadeusz Burczynski Paperback
$321.50
2 formats available
Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Leonid Sokolinsky 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
The Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I

Peter Mika Paperback
$80.50
Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Themis Panayiotopoulos Paperback
$80.50
Database and Expert Systems Applications: 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009, Proceedings

Sourav S. Bhowmick Paperback
$160.95
Pattern Recognition And Artificial Intelligence: International Conference, Icprai 2020, Zhongshan, China, October 19-23, 2020, Proceedings

Yue Lu Paperback
$204.50
2 formats available
Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Iv

Maciej Paszynski Paperback
$145.95
2 formats available
Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

Leonid Sokolinsky Paperback
$80.50
2 formats available

Editorial reviews

revantha ramanayake

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: 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: 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: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Hans De Nivelle Paperback
$80.50
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Sriram Sankaranarayanan Paperback
$72.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
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$58.50
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Paperback
$64.95
2 formats available
Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Benedek Nagy Paperback
$94.95
2 formats available
Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings

Nathalie Hernandez Paperback
$80.50
Modeling and Using Context: 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings

Gábor Bella Paperback
$80.50
2 formats available
Multi-agent Systems: 18th European Conference, Eumas 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

Ariel Rosenfeld Paperback
$80.50
2 formats available
Advances in Data Mining: Applications and Theoretical Aspects: 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia, July 16-20, 2014, Proceedings

Petra Perner Paperback
$80.50
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Paperback
$72.95
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Edmund M. Clarke Paperback
$80.50
Multi-agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marija Slavkovik Paperback
$80.50
2 formats available
Frontiers Of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings

Boris Konev Paperback
$124.50
2 formats available
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Paperback
$94.95
2 formats available
Computational Linguistics and Intelligent Text Processing: 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I

Alexander Gelbukh Paperback
$160.95
2 formats available

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: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Proceedings

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

Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

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

Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, the Netherlands - October 2011

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

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

Chinese Computational Linguistics: 19th China National Conference, Ccl 2020, Hainan, China, October 30 - November 1, 2020, Proceedings

Parallel Computational Technologies: 16th International Conference, PCT 2022, Dubna, Russia, March 29-31, 2022, Revised Selected Papers

IUTAM Symposium on Evolutionary Methods in Mechanics: Proceedings of the IUTAM Symposium held in Cracow, Poland, 24-27 September, 2002

Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

The Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I

Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings

Database and Expert Systems Applications: 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009, Proceedings

Pattern Recognition And Artificial Intelligence: International Conference, Icprai 2020, Zhongshan, China, October 19-23, 2020, Proceedings

Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Iv

Parallel Computational Technologies: 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

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: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, 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: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

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

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Implementation and Application of Automata: 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, IaAYi, Romania, July 27-30, 2014, Proceedings

Modeling and Using Context: 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings

Multi-agent Systems: 18th European Conference, Eumas 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

Advances in Data Mining: Applications and Theoretical Aspects: 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia, July 16-20, 2014, Proceedings

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers

Multi-agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Frontiers Of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Computational Linguistics and Intelligent Text Processing: 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I