Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)

  1. home
  2. Books
  3. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)

0.00 0 0
Share:

Also Available in:

  • Amazon
  • Audible
  • Barnes & Noble
  • AbeBooks
  • Kobo

More Details

  • Format:
  • Pages: pages
  • Publication:
  • Publisher:
  • Edition:
  • Language:
  • ISBN10:3031107691
  • ISBN13:9783031107696
  • kindle Asin:B0B878X4GV

About Author

Jasmin Blanchette

Jasmin Blanchette

3.86 169 12
View All Books

Related BooksYou May Also Like

View All