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
• অনলাইন ব্যবহার করুন: OAPEN Library: download the publication; OAPEN Library: description of the publication