お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science)
Van Eekelen, Marko／Geuvers, Herman／Schmaltz, Julien／Wiedijk, Freek
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Geuvers, Herman／Wiedijk, Freek
Logic Colloquium 2006 (Lecture Notes in Logic, Series Number 32)
Cooper, S. Barry／Geuvers, Herman／Pillay, Anand／Vaeaenaenen, Jouko
Type theory and formal proof : an introduction
Rob Nederpelt, Herman Geuvers
Selected papers on Automath
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen

カーリルについて - 図書館の方へ - ローカル - 図書館 API - バナー・素材

ホーム - 運営会社 - ブログ - Twitter - 図書館の自由 - プライバシーポリシー - お問い合わせ