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,098(本体¥7,362)
  • College Publications(2008/12発売)
  • ポイント 73pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 104pt
  • オンデマンド(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,388(本体¥7,626)
  • Springer Spektrum(2021/06発売)
  • ポイント 76pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥8,655(本体¥7,869)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2023発売)
  • ポイント 78pt
  • 海外からお取り寄せ(通常6~9週間)
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 143pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 190pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥16,780(本体¥15,255)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 152pt
  • 海外取次在庫
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,438(本体¥8,580)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 85pt
  • 海外取次在庫