検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.) T2 Lecture notes in computer science A1 Proof Theory in Computer Science A1 Kahle, Reinhard, 1967- A1 Schroeder-Heister, Peter Joseph, 1953- A1 Stärk, Robert F., 1963- YR 2001 FD c2001 SP viii, 238 p. K1 Automatic theorem proving -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer PP Berlin ; Tokyo SN 354042752X LA English (英語) CL LCC:QA76.9.A96 CL DC21:511.3 NO Includes bibliographical references and index NO 書誌ID=1001337075; NCID=BA53965621; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001337075 OL 30