Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)
Categories:
Computers & Technology›Computer Programming›Software Design, Testing & Engineering›Software Development
Nonfiction›Biographies & Memoirs›Historical›Military & Wars›Nonfiction›Computers & Technology›Tech Culture & Computer Literacy›Online Services
Nonfiction›Business & Investing›Industries›E-commerce›Nonfiction›Science›Mathematics›Pure Mathematics
Nonfiction›Children's Nonfiction›History›Military & Wars›Nonfiction›Computers & Technology›Tech Culture & Computer Literacy›Online Services
Nonfiction›Business & Investing›International›Global Marketing›Nonfiction›Science›Mathematics›Pure Mathematics
Nonfiction›Business & Investing›Investing›Futures›Nonfiction›Computers & Technology›Tech Culture & Computer Literacy›Online Services
Nonfiction›Computers & Technology›Interactive & Multimedia›Nonfiction›Science›Mathematics›Pure Mathematics›Logic
Nonfiction›Computers & Technology›Programming›Software Design, Testing & Engineering›Software Development
