Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Publisher Description
This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18–21, 2023.
GENRE
Computing & Internet
RELEASED
2023
13 September
LANGUAGE
EN
English
LENGTH
507
Pages
PUBLISHER
Springer Nature Switzerland
SIZE
50
MB