Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / / edited by Revantha Ramanayake, Josef Urban.
This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18–21, 2023.
Saved in:
| Superior document: | Lecture Notes in Artificial Intelligence, 14278 |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Cham : : Springer Nature Switzerland :, Imprint: Springer,, 2023. |
| Year of Publication: | 2023 |
| Edition: | 1st ed. 2023. |
| Language: | English |
| Series: | Lecture Notes in Artificial Intelligence,
14278 |
| Physical Description: | 1 online resource (XXV, 482 p. 370 illus., 12 illus. in color.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
| DOAB Directory of Open Access Books | Available |