Home
Antiques & Collectibles
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18???21, 2023, Proceedings : 14278 by Revantha Ramanayake - Paperback

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

AED246.19

(0) Write a Review

SKU:: 9783031435126
UPC:: 9783031435126

Current Stock:

Product Description

ISBN: 9783031435126
TITLE: Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18???21, 2023, Proceedings : 14278
AUTHOR: Revantha Ramanayake
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 14 Sep 2023

Other Details

ISBN:

9783031435126

Author:

Revantha Ramanayake

Publisher:

Springer International Publishing AG

Publisher Date:

Published:14 Sep 2023

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

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

Product Description

Other Details

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings : 9323 by Hans De Nivelle - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings : 3702 by Bernhard Beckert - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6???9, 2021, Proceedings : 12842 by Anupam Das - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings : 11714 by Serenella Cerrito - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings : 2796 by Marta Cialdea Mayer - Paperback

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

Write a Review

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

Add to Wishlist

Product Description

Other Details

Related Products

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings : 9323 by Hans De Nivelle - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings : 3702 by Bernhard Beckert - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6???9, 2021, Proceedings : 12842 by Anupam Das - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings : 11714 by Serenella Cerrito - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings : 2796 by Marta Cialdea Mayer - Paperback