<図書>

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.)

(Lecture notes in computer science;1657)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1999
大きさ viii, 207 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Workshop on TYPES (1998 : Kloster Irsee, Germany)
Altenkirch, Thorsten, 1962-
Naraschewski, Wolfgang, 1970-
Reus, Bernhard, 1965-
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Computer logic -- Congresses
LCSH:Type theory -- Congresses
分 類 DC20:511.3/0285
本文言語 英語
書誌ID 2000984476
ISBN 3540665374
NCID BA43539809 WCLINK

類似資料

  1. 1 Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
  2. 2 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.)
  3. 3 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
  4. 4 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
  5. 5 Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)
  6. 6 Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
  7. 7 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
  8. 8 Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch(eds.)
  9. 9 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
  10. 10 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)

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