Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

• Autres auteurs: Blanchette, Jasmin (Éditeur intellectuel), Kovács, Laura (Éditeur intellectuel), Pattinson, Dirk (Éditeur intellectuel)
• Format: Électronique Chapitre de livre
• Langue: anglais
• Publié: Cham Springer Nature 2022
• Collection: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Sujets: Mathematical theory of computation; Software Engineering; Computer networking & communications; Artificial intelligence; Computer programming / software development; artificial intelligence; automata theory; computer hardware; computer networks; computer programming; computer systems; embedded systems; formal languages; formal logic; logic programming; network protocols; semantics; software architecture; software design; software engineering; theoretical computer science
• Accès en ligne: DOAB: download the publication; DOAB: description of the publication