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!
|
Similar Items
-
Automated Reasoning with Analytic Tableaux and Related Methods : : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings.
by: Ramanayake, Revantha.
Published: (2023.) -
Frontiers of Combining Systems : : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings.
by: Sattler, Uli.
Published: (2023.) -
Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda.
Published: (2023.) -
Proceedings of the 2023 2nd International Conference on Artificial Intelligence, Internet and Digital Economy (ICAID 2023).
by: Hemachandran, K.
Published: (2023.) -
Automated Deduction - CADE 29 : : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.
by: Pientka, Brigitte.
Published: (2023.)