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

• Άλλοι συγγραφείς: Blanchette, Jasmin (Επιμελητής έκδοσης), Kovács, Laura (Επιμελητής έκδοσης), Pattinson, Dirk (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
• Γλώσσα: Αγγλικά
• Έκδοση: Cham Springer Nature 2022
• Σειρά: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 13385
• Θέματα: 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
• Διαθέσιμο Online: OAPEN Library: download the publication; OAPEN Library: description of the publication