検索結果を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 SP 3v. K1 Logic, Symbolic and mathematical K1 Automatic theorem proving PB Kluwer Academic PP Dordrecht SN 0792351320 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