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