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

• Müşterek Yazar: SpringerLink (Online service)
• Diğer Yazarlar: Ramanayake, Revantha (Editör), Urban, Josef (Editör)
• Materyal Türü: Elektronik Ekitap
• Dil: İngilizce
• Baskı/Yayın Bilgisi: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
• Edisyon: 1st ed. 2023.
• Seri Bilgileri: Lecture Notes in Artificial Intelligence, 14278
• Konular: 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 Erişim: Link to Metadata