検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.) T2 Lecture notes in computer science A1 International Workshop TYPES A1 Callaghan, Paul A1 Luo, Zhaohui A1 MacKinna, James A1 Pollack, Robert YR 2002 FD c2002 SP viii, 242 p. K1 Automatic theorem proving -- Congresses K1 Computer programming -- Congresses K1 Type theory -- Congresses PB Springer PP Berlin ; New York SN 3540432876 LA English (英語) CL LCC:QA76.9.A96 NO Includes bibliographies and index NO 書誌ID=1001363931; NCID=BA55870093; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001363931 OL 30