1～7件／全7件 セーフサーチON
  •  
論理学史ハンドブック（全１１巻）第９巻<br>Computational Logic (Handbook of the History of Logic)
  • 洋書

論理学史ハンドブック（全１１巻）第９巻
Computational Logic (Handbook of the History of Logic)  Hardcover,  言語：ENG

Gabbay, Dov M. (EDT)/ Siekmann, Jörg H. (EDT)/ Woods, John (EDT)

  • ウェブストア価格 ¥57,784（本体¥52,531）
  • North-Holland（2014/11発売）
  • ポイント 525pt
  • 海外からお取り寄せ（通常6～9週間）
Foundations of Mathematics I
  • 洋書

Foundations of Mathematics I  Paperback

Wirth, Claus Peter(EDT)/ Siekmann, Joerg(EDT)/ Gabbay, Michael(EDT)

  • ウェブストア価格 ¥5,506（本体¥5,006）
  • College Publications（2012/12発売）
  • ポイント 50pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations of Mathematics I
  • 洋書

Foundations of Mathematics I  Paperback,  言語：ENG

Wirth, Claus Peter (EDT)/ Siekmann, Joerg (EDT)/ Gabbay, Michael (EDT)

  • ウェブストア価格 ¥5,711（本体¥5,192）
  • College Publications（2011/11発売）
  • ポイント 51pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,261（本体¥7,510）
  • College Publications（2008/12発売）
  • ポイント 75pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Künstliche Intelligenz und nukleare Bedrohungen : Risiken eines Atomkriegs aus Versehen (WIFIS-aktuell 73) （2022. 73 S. 210 mm）
  • 洋書

Künstliche Intelligenz und nukleare Bedrohungen : Risiken eines Atomkriegs aus Versehen (WIFIS-aktuell 73) （2022. 73 S. 210 mm）  Paperback

Herausgegeben:Blaesius, Karl Hans/ Schwalb, Reiner/ Staack, Michael/Mitarbeit:Bartels, Hans-Peter/ Siekmann, Joerg/ Richter, Wolfgang/ Mueller, Alexander/ Keul, Katja

  • ウェブストア価格 ¥2,319（本体¥2,109）
  • VERLAG BARBARA BUDRICH（2022発売）
  • ポイント 21pt
  • 海外取次在庫
Artificial Intelligence and Soft Computing - ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3070) （2004. XXV, 1208 p. 23,5 cm）
  • 洋書

Artificial Intelligence and Soft Computing - ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings (Lecture Notes in Computer Science Vol.3070) （2004. XXV, 1208 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Leszek Rutkowski, Joerg Siekmann, Ryszard Tadeusiewicz et al.

  • ウェブストア価格 ¥13,614（本体¥12,377）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 123pt
  • 海外からお取り寄せ（通常6～9週間）
Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (Lecture Notes in Computer Science)
  • 洋書

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (Lecture Notes in Computer Science)  Hardcover,  言語：ENG

Siekmann, Joerg H (EDT)/ Wansing, Heinrich T (EDT)/ Pearce, D (EDT)

  • Springer（1992/08発売）
  • ご注文いただけません
1～7件／全7件
  •