Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday
  • 洋書
  • ポイントキャンペーン

Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday  Paperback,  言語:ENG

Benzmueller, Christoph (EDT)/ Brown, Chad E (EDT)/ Siekmann, Joerg (EDT)

  • ウェブストア価格 ¥8,423(本体¥7,658)
  • College Publications(2008/12発売)
  • ポイント 380pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Miller, Bruce (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Wider den Reduktionismus : Ausgewählte Beiträge zum Kurt Gödel Preis 2019
  • 洋書
  • ポイントキャンペーン

Wider den Reduktionismus : Ausgewählte Beiträge zum Kurt Gödel Preis 2019  Paperback,  言語:GER

Passon, Oliver (EDT)/ Benzmüller, Christoph (EDT)

  • ウェブストア価格 ¥8,727(本体¥7,934)
  • Springer Spektrum(2021/06発売)
  • ポイント 395pt
  • 海外取次在庫
On Gödel and the Nonexistence of Time - Gödel und die Nichtexistenz der Zeit : Kurt Gödel essay competition 2021 - Kurt-Gödel-Preis 2021 (1. Aufl. 2023. 2023. xii, 153 S. XII, 153 S. 16 Abb., 2 Abb. in Farbe.)
  • 洋書
  • ポイントキャンペーン

On Gödel and the Nonexistence of Time - Gödel und die Nichtexistenz der Zeit : Kurt Gödel essay competition 2021 - Kurt-Gödel-Preis 2021 (1. Aufl. 2023. 2023. xii, 153 S. XII, 153 S. 16 Abb., 2 Abb. in Farbe.)  Paperback

Herausgegeben:Passon, Oliver/ Benzmueller, Christoph/ Falkenburg, Brigitte

  • ウェブストア価格 ¥9,256(本体¥8,415)
  • SPRINGER, BERLIN; SPRINGER SPEKTRUM(2023発売)
  • ポイント 420pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥9,929(本体¥9,027)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 450pt
  • 海外からお取り寄せ(通常6~9週間)
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Baroni, Pietro (EDT)/ Benzmüller, Christoph (EDT)/ Wáng, Yὶ N. (EDT)

  • ウェブストア価格 ¥21,821(本体¥19,838)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 990pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Ricca, Francesco (EDT)/ Parent, Xavier (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 545pt
  • 海外取次在庫
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Stuckenschmidt, Heiner (EDT)

  • ウェブストア価格 ¥16,365(本体¥14,878)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 740pt
  • 海外取次在庫
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥17,457(本体¥15,870)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 790pt
  • 海外取次在庫