Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

• その他の著者: Pientka, Brigitte (編集者), Tinelli, Cesare (編集者)
• フォーマット: 電子媒体 図書の章
• 言語: 英語
• 出版事項: Cham Springer Nature 2023
• シリーズ: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 14132
• 主題: Artificial intelligence; Mathematical theory of computation; Computer programming / software development; Software Engineering; artificial intelligence; automata theory; Boolean functions; formal languages; formal logic; model checking; software engineering; automated theorem proving; software verification; logic programming; automated reasoning; automated deduction; propositional satisfiability; constraint solving; computer algebra; satisfiability modulo theories
• オンライン･アクセス: OAPEN Library: download the publication; OAPEN Library: description of the publication