検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors] T2 Lecture notes in computer science A1 HOL User's Group Workshop A1 Joyce, Jeffrey J., 1960- A1 Seger, Carl-Johan H. YR 1994 FD c1994 VO : us SP ix, 517 p. K1 Automatic theorem proving -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387578269 LA English (英語) CL LCC:QA76.9.A96 CL DC20:004/.01/5113 NO Papers presented at the 1993 HOL User's Group Workshop NO Includes bibliographical references and index NO 書誌ID=1000499561; NCID=BA2267859X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000499561 OL 30