検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 コンピュータによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳 T2 コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 OT Symbolic logic and mechanical theorem proving A1 Chang, Chin-Liang, 1937- A1 Lee, Richard Char-Tung, 1939- A1 長尾, 真(1936-) A1 辻井, 潤一(1949-) YR 1983 FD 1983.9 SP xii,346p K1 記号論理学 K1 人工頭脳 PB 日本コンピュータ協会 PP 東京 LA Japanese (日本語) CL NDC8:410.96 CL NDC7:549.92 CL NDLC:MA41 CL NDLC:M151 NO 各章末:参考文献 参考文献:p323~338 NO 書誌ID=1000000715; NCID=BN00844314; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000000715 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN00844314 OL 58