1～3件／全3件 セーフサーチON
  •  
Mathesis Universalis, Computability and Proof (Synthese Library)
  • 洋書
  • 電子版あり

Mathesis Universalis, Computability and Proof (Synthese Library)  Hardcover,  言語：ENG

Centrone, Stefania (EDT)/ Negri, Sara (EDT)/ Sarikaya, Deniz (EDT)

  • Springer Nature Switzerland AG（2019/11発売）
  • ご注文いただけません
Mathesis Universalis, Computability and Proof (Synthese Library)
  • 洋書

Mathesis Universalis, Computability and Proof (Synthese Library)  Paperback,  言語：ENG

Centrone, Stefania (EDT)/ Negri, Sara (EDT)/ Sarikaya, Deniz (EDT)

  • ウェブストア価格 ¥28,551（本体¥25,956）
  • Springer Nature Switzerland AG（2020/11発売）
  • ポイント 259pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語：ENG

Das, Anupam (EDT)/ Negri, Sara (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2021/09発売）
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •