検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) T2 Lecture notes in computer science A1 IJCAR A1 Goré, Rajeev A1 Leitsch, Alexander, 1952- A1 Nipkow, Tobias, 1958- YR 2001 FD c2001 SP xv, 708 p. K1 Automatic theorem proving -- Congresses K1 Computer logic -- Congresses PB Springer PP Berlin SN 3540422544 LA English (英語) CL LCC:QA76.9.A96 NO Includes bibliographies and index NO 書誌ID=1001283594; NCID=BA52405290; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001283594 OL 30