Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031435126