| Record Type: |
Language materials, printed
: Monograph/item
|
| Title/Author: |
Automated reasoning with analytic tableaux and related methods/ edited by Revantha Ramanayake, Josef Urban. |
| Reminder of title: |
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / |
| remainder title: |
TABLEAUX 2023 |
| other author: |
Ramanayake, Revantha. |
| corporate name: |
Workshop on the Preservation of Stability under Discretization |
| Published: |
Cham :Springer Nature Switzerland : : 2023., |
| Description: |
xxv, 482 p. :ill. (some col.), digital ; : 24 cm.; |
| Contained By: |
Springer Nature eBook |
| Subject: |
Automatic theorem proving - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-43513-3 |
| ISBN: |
9783031435133 |