1～6件／全6件 セーフサーチON
  •  
Logic Colloquium 2006 (Lecture Notes in Logic)
  • 洋書
  • ポイントキャンペーン

Logic Colloquium 2006 (Lecture Notes in Logic)  Hardcover,  言語：ENG

Cooper, S. Barry (EDT)/ Geuvers, Herman (EDT)/ Pillay, Anand (EDT)

  • ウェブストア価格 ¥36,715（本体¥33,378）
  • Cambridge University Press（2009/09発売）
  • ポイント 1,665pt
  • 海外からお取り寄せ（通常6～9週間）
Logic Colloquium 2006 (Lecture Notes in Logic)
  • 洋書
  • ポイントキャンペーン

Logic Colloquium 2006 (Lecture Notes in Logic)  言語：ENG

Cooper, S Barry (EDT)/ Geuvers, Herman (EDT)/ Pillay, Anand (EDT)

  • Cambridge University Press（2009/01発売）
  • ご注文いただけません
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Geuvers, Herman (EDT)/ England, Matthew (EDT)/ Hasan, Osman (EDT)

  • ウェブストア価格 ¥12,001（本体¥10,910）
  • Springer International Publishing AG（2017/06発売）
  • ポイント 545pt
  • 海外取次在庫
Types for Proofs and Programs : Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers (Lecture
  • 洋書
  • ポイントキャンペーン

Types for Proofs and Programs : Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers (Lecture  Paperback,  言語：ENG

Geuvers, Herman/ Wiedijk, Freek

  • ウェブストア価格 ¥12,001（本体¥10,910）
  • Springer-Verlag New York Inc（2003/06発売）
  • ポイント 545pt
  • 海外取次在庫
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) （2011. X, 380 S.）
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) （2011. X, 380 S.）  Paperback

Herausgegeben von Van Eekelen, Marko/ Geuvers, Herman/ Schmaltz, Julien/ Wiedijk, Freek

  • ウェブストア価格 ¥13,767（本体¥12,516）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 625pt
  • 海外取次在庫
Type Theory and Formal Proof : An Introduction
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Type Theory and Formal Proof : An Introduction  Hardcover,  言語：ENG

Nederpelt, Rob/ Geuvers, Herman

  • ウェブストア価格 ¥20,513（本体¥18,649）
  • Cambridge University Press（2014/11発売）
  • ポイント 930pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～6件／全6件
  •