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
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
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
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
Computer Science - Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

Henning Fernau Paperback
$80.50
2 formats available
Belief Functions: Theory and Applications: 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings

Thierry Den Paperback
$102.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: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Serenella Cerrito Paperback
$80.50
2 formats available
Computer Science - Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings

Rahul Santhanam Paperback
$80.50
2 formats available
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Peggy Cellier Paperback
$72.95
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Nils Bulling Paperback
$80.50
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part III

Ji Miky Paperback
$160.95
2 formats available
Augmented Cognition: 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Dylan D. Schmorrow Paperback
$145.95
2 formats available
Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Dimitris Fotakis Paperback
$131.50
2 formats available
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Dominik Dürrschnabel Paperback
$87.95
2 formats available
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I

Ji Miky Paperback
$175.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
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V

Ji Miky Paperback
$175.50
2 formats available
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV

Ji Miky Paperback
$145.95
2 formats available

Editorial reviews

josef urban

Author

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

Martin Gebser Paperback
$58.50
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
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
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
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
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Paperback
$72.95
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$72.95
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

Pierre Schaus Paperback
$131.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
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
Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Ekaterina Komendantskaya Paperback
$80.50
2 formats available
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Thomas Wies Paperback
$72.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: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings

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

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

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

Computer Science - Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

Belief Functions: Theory and Applications: 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 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: 28th International Conference, Tableaux 2019, London, Uk, September 3-5, 2019, Proceedings

Computer Science - Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings

Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part III

Augmented Cognition: 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

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

Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I

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

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part IV

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

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: 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

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

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, 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

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

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

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

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

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

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

Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

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

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

Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings