検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty (eds.) T2 Lecture notes in computer science A1 International Conference on Theorem Proving in Higher Order Logics A1 Gunter, Elsa L. A1 Felty, Amy YR 1997 FD c1997 SP viii, 337 p. K1 Automatic theorem proving -- Congresses PB Springer PP Berlin ; Heidelberg SN 3540633790 LA English (英語) CL LCC:QA76.9.A96 CL DC20:004/.01/5113 NO Includes bibliographical references and index NO 書誌ID=1000554609; NCID=BA31798311; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000554609 OL 30