Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ramanayake, Revantha (Editor), Urban, Josef (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
• Edition: 1st ed. 2023.
• Series: Lecture Notes in Artificial Intelligence, 14278
• Subjects: Artificial intelligence.; Machine theory.; Computer science.; Software engineering.; Computer systems.; Microprogramming .; Artificial Intelligence.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Software Engineering.; Computer System Implementation.; Control Structures and Microprogramming.
• Online Access: Link to Metadata