検索結果を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. PB Springer PP Berlin SN 3540671900 LA English (英語) NO Includes bibliographical references NO 書誌ID=B000080812; NCID=BA45497663; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000080812 OL 30