1～1件／全1件 セーフサーチON
  •  
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Pientka, Brigitte (EDT)/ Tinelli, Cesare (EDT)

  • ウェブストア価格 ¥10,205（本体¥9,278）
  • Springer International Publishing AG（2023/09発売）
  • ポイント 92pt
  • 海外からお取り寄せ（通常6～9週間）
1～1件／全1件
  •