Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

• अन्य लेखक: Platzer, André (संपादक), Sutcliffe, Geoff (संपादक)
• स्वरूप: इलेक्ट्रोनिक पुस्तक अध्याय
• भाषा: अंग्रेज़ी
• प्रकाशित: Springer Nature 2021
• श्रृंखला: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 12699
• विषय: Artificial intelligence; Mathematical theory of computation; Computer programming / software development; Software Engineering; Artificial Intelligence; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; automata theory; boolean functions; computer programming; first order logic; formal languages; formal logic; logic programming; model checking; program verification; semantics; software architecture; software design; software quality; software verification; theorem provers; theorem proving; Computer programming / software engineering; Computer architecture & logic design
• ऑनलाइन पहुंच: OAPEN Library: download the publication; OAPEN Library: description of the publication