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!
|
Search Result 1
Participants:
Ramanayake, Revantha. [ ];
Urban, Josef. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.14278
Links:
Get full text
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.14278