検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Boulton, Richard J., Paul B. Jackson (eds.) T2 Lecture notes in computer science A1 International Conference on Theorem Proving in Higher Order Logics A1 Boulton, Richard J., 1967- A1 Jackson, Paul B., 1962- YR 2001 FD c2001 SP x, 393 p. K1 Automatic theorem proving -- Congresses PB Springer PP Berlin SN 354042525X LA English (英語) CL LCC:QA76.9:A96 NO Includes bibliographical references and index NO 書誌ID=1001317338; NCID=BA53566116; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001317338 OL 30