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