TY  - GEN
N2  - This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.
DO  - 10.1007/978-3-031-43513-3
DO  - doi
AB  - This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.
T1  - Automated reasoning with analytic tableaux and related methods :32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
AU  - Ramanayake, Revantha,
AU  - Urban, Josef,
VL  - 14278
CN  - QA76.9.A96
ID  - 1480683
KW  - Automatic theorem proving
SN  - 9783031435133
SN  - 3031435133
TI  - Automated reasoning with analytic tableaux and related methods :32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
LK  - https://link.springer.com/10.1007/978-3-031-43513-3
UR  - https://link.springer.com/10.1007/978-3-031-43513-3
ER  -