1～6件／全6件 セーフサーチON
  •  
Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic) （2ND）
  • 洋書
  • ポイントキャンペーン

Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic) （2ND）  Hardcover,  言語：ENG

Farmer, William M.

  • ウェブストア価格 ¥18,186（本体¥16,533）
  • Birkhauser Verlag AG（2025/04発売）
  • ポイント 825pt
  • 海外からお取り寄せ（通常6～9週間）
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
  • 洋書
  • ポイントキャンペーン

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)  Hardcover,  言語：ENG

Farmer, William M.

  • ウェブストア価格 ¥23,797（本体¥21,634）
  • Springer, Berlin; Springer International Publishing; Birkh&a（2023発売）
  • ポイント 1,080pt
  • 海外からお取り寄せ（通常6～9週間）
Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic)
  • 洋書
  • ポイントキャンペーン

Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic)  Paperback

Farmer, William M.

  • ウェブストア価格 ¥16,260（本体¥14,782）
  • Birkhauser Verlag AG（2024/01発売）
  • ポイント 735pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Mathematical Knowledge Management : 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceedings (Lecture Notes in Computer
  • 洋書
  • ポイントキャンペーン

Mathematical Knowledge Management : 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceedings (Lecture Notes in Computer  Paperback,  言語：ENG

Borwein, Jonathan M. (EDT)/ Farmer, William M. (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer-Verlag New York Inc（2006/09発売）
  • ポイント 540pt
  • 海外取次在庫
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Rabe, Florian (EDT)/ Farmer, William M. (EDT)/ Passmore, Grant O. (EDT)

  • ウェブストア価格 ¥12,589（本体¥11,445）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 570pt
  • 海外からお取り寄せ（通常6～9週間）
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6824) （2011. XIV, 312 S.）
  • 洋書
  • ポイントキャンペーン

Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6824) （2011. XIV, 312 S.）  Paperback

Herausgegeben von Davenport, James H./ Farmer, William M./ Rabe, Florian/ Urban, Josef

  • ウェブストア価格 ¥13,997（本体¥12,725）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 635pt
  • 海外取次在庫
1～6件／全6件
  •