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

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer-Verlag New York Inc(2003/06発売)
  • ポイント 102pt
  • 海外取次在庫
Type Theory and Formal Proof : An Introduction
  • 洋書
  • 電子版あり

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

Nederpelt, Rob/ Geuvers, Herman

  • ウェブストア価格 ¥19,322(本体¥17,566)
  • Cambridge University Press(2014/11発売)
  • ポイント 175pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 102pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
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)

  • ウェブストア価格 ¥32,890(本体¥29,900)
  • Cambridge University Press(2009/09発売)
  • ポイント 299pt
  • 海外からお取り寄せ(通常6~9週間)
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

  • ウェブストア価格 ¥12,850(本体¥11,682)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 116pt
  • 海外取次在庫