検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.) T2 Lecture notes in computer science A1 International Conference on Automated Deduction A1 McAllester, David A. YR 2000 FD c2000 SP xiii, 512 p. K1 Automatic theorem proving -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer PP Berlin SN 3540676643 LA English (英語) CL LCC:QA76.9.A96 NO Includes bibliographical references and index NO 書誌ID=1001158939; NCID=BA47113026; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001158939 OL 30