Automated Reasoning with Analytic Tableaux and Related Methods : 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 20
by Gian Luca Pozzato, Tarmo Uustalu Paperback 2025
- Author: Gian Luca Pozzato, Tarmo Uustalu
- ISBN 13: 9783032060846
- ISBN 10: 3032060842
- Publication Year: 2025
- Language: English
Specifications
Index-103032060842
LanguageEnglish
Index-139783032060846
Period-
Class Track-
Publisher- (2025)
Pages-