検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Automated deduction : a basis for applications A1 Bibel, W., 1938- A1 Schmitt, P. H. (Peter H.), 1948- YR 1998 FD c1998 VO set VO v.1 VO v.2 VO v.3 SP 3v. K1 Logic, Symbolic and mathematical K1 Automatic theorem proving PB Kluwer Academic PP Dordrecht SN 0792351320 SN 0792351320 SN 0792351290 SN 0792351304 SN 0792351312 LA English (英語) CL DC21:006.33 NO Includes bibliographies and indexes NO 叢書名=Applied logic series ; v.8-10 NO 書誌ID=BB00396270; NCID=BA37462379; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00396270 DS 同志社大学OPAC OL 30