Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2025. x, 390 S. X, 390 p. 40 illus. 235 mm)
  • 洋書

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2025. x, 390 S. X, 390 p. 40 illus. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Blanchette, Jasmin/ Mahboubi, Assia

  • ウェブストア価格 ¥18,932(本体¥17,211)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 172pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

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

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

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