Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Blanchette, Jasmin (EDT)/ Kovács, Laura (EDT)/ Pattinson, Dirk (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 94pt
  • 海外取次在庫