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

• Άλλοι συγγραφείς: Ramanayake, Revantha (Επιμελητής έκδοσης), Urban, Josef (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
• Γλώσσα: Αγγλικά
• Έκδοση: Cham Springer Nature 2023
• Σειρά: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 14278
• Θέματα: Artificial intelligence; Mathematical theory of computation; Computer programming / software development; Software Engineering; Systems analysis & design; Algorithms & data structures; tableaux; tableaux calculus; sequent calculus; proof theory; theorem proving; proof assistant; natural deduction; formalized proof; decision procedures; automated deduction; SMT; resolution; cut-elimination; non-classical logics; modal logic; intuitionistic; inear logic; substructural logic; separation logic
• Διαθέσιμο Online: OAPEN Library: download the publication; OAPEN Library: description of the publication