close
1.

図書
図書
1. Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 207 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
目次情報: 続きを見る
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre
An Interpretation of the Fan Theoremin Type Theory / Daniel Fridlender
Conjunctive Types and SKInT / Jean Goubault-Larrecq
Modular Structures as Dependent Types in Isabelle / Florian Kammüller
Metatheory of Verification Calculi in LEGO / Thomas Kleymann
Bounded Polymorphism for Extensible Objects / Luigi Liquori
About Effective Quotients in Constructive Type Theory / Maria Emilia Maietti
Algorithms for Equality and Unification in the Presence of Notational Definitions / Frank Pfenning ; Carsten Schurmann
A Preview of the Basic Picture: A New Perspective on Formal Topology / Giovanni Sambin ; Silvia Gebellato
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
2.

図書
図書
2. Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
Eduardo Giménez, Christine Paulin-Mohring (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1512
所蔵情報: loading…
3.

図書
図書
3. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
出版情報: Berlin : Springer, c2001  xv, 708 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
David Basin, Michaël Rusinowitch(eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 491 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3097 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. 8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009
International Workshop on the ACL2 Theorem Prover and Its Applications
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  138 p. ; 28 cm
シリーズ名: ACM international conference proceedings series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼