検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.) T2 Lecture notes in computer science A1 Caferra, Ricardo A1 Salzer, Gernot YR 2000 FD c2000 SP viii, 297 p. K1 Automatic theorem proving K1 Logic, Symbolic and mathematical PB Springer PP Berlin SN 3540671900 LA English (英語) NO Includes bibliographical references NO 書誌ID=1001125877; NCID=BA45497663; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001125877 OL 30