1～1件／全1件 セーフサーチON
  •  
Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science 15943) （2025. xx, 724 S. XX, 724 p. 90 illus. 235 mm）
  • 洋書

Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science 15943) （2025. xx, 724 S. XX, 724 p. 90 illus. 235 mm）  Paperback,  言語：ENG

Herausgegeben:Barrett, Clark/ Waldmann, Uwe

  • ウェブストア価格 ¥10,646（本体¥9,679）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; DHBW S（2025発売）
  • ポイント 96pt
  • 海外からお取り寄せ（通常6～9週間）
1～1件／全1件
  •