Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Barrett, Clark (EDT)/ Waldmann, Uwe (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません