検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.) T2 Lecture notes in computer science A1 International Conference on Automated Deduction A1 McRobbie, M. A. (Michael A.) A1 Slaney, John K. YR 1996 FD c1996 SP xv, 764 p. K1 Automatic theorem proving -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer PP Berlin ; New York SN 3540615113 LA English (英語) CL LCC:QA76.9.A96 CL DC20:006.3/3 NO Includes bibliographical references and index NO 書誌ID=1000541399; NCID=BA28007134; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000541399 OL 30