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

• Korporacja: SpringerLink (Online service)
• Kolejni autorzy: Ramanayake, Revantha (Redaktor), Urban, Josef (Redaktor)
• Format: Elektroniczne E-book
• Język: angielski
• Wydane: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
• Wydanie: 1st ed. 2023.
• Seria: Lecture Notes in Artificial Intelligence, 14278
• Hasła przedmiotowe: 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.
• Dostęp online: Link to Metadata