<図書>

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)

(Lecture notes in computer science;1956)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1956 2012856957

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Types 8010279639


書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c2000
大きさ 193 p. : ill. ; 24 cm
一般注記 Includes bibliographies and index
著者標目 *International Workshop on TYPES (1999 : Lökeberg, Sweden)
Coquand, Thierry, 1961-
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Computer programming -- Congresses
LCSH:Type theory -- Congresses
分 類 LCC:QA76.9.A96
DC21:005.13/1
本文言語 英語
書誌ID 2001283737
ISBN 3540415173
NCID BA49939876 WCLINK

類似資料

  1. 1 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)
  2. 2 First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 / Ursula Martin and Jeannette M. Wing (eds.)
  3. 3 Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
  4. 4 Extensional constructs in intensional type theory / Martin Hofmann
  5. 5 Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
  6. 6 Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)
  7. 7 Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / Herman Geuvers, Freek Wiedijk (eds.)
  8. 8 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
  9. 9 Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch(eds.)
  10. 10 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)

検索結果一覧に戻る ページトップ