検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.) T2 Lecture notes in computer science A1 International Conference on Theorem Proving in Higher Order Logics A1 Aagaard, Mark, 1966- A1 Harrison, J. (John), 1966- YR 2000 FD c2000 SP ix, 533 p. K1 Automatic theorem proving -- Congresses PB Springer PP Berlin SN 3540678638 LA English (英語) CL LCC:QA76.9:A96 NO Includes bibliographical references and index NO 書誌ID=1001180842; NCID=BA47829083; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001180842 OL 30