検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.) T2 Lecture notes in computer science A1 International Workshop TYPES A1 Berardi, Stefano A1 Coppo, Mario YR 1996 FD c1996 SP x, 296 p. K1 Automatic theorem proving -- Congresses PB Springer PP Berlin ; New York SN 3540617809 LA English (英語) CL LCC:QA76.9.A96 CL DC20:511.3/0285 NO Includes bibliographical references NO 書誌ID=1000544668; NCID=BA28616493; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000544668 OL 30