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

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