検索結果をRefWorksへエクスポートします。対象は1件です。
閉じる
RT Book, Whole SR Print DC OPAC T1 数理論理学 : 合理的エージェントへの応用に向けて A1 加藤, 暢(工学) A1 高田, 司郎 A1 新出, 尚之 YR 2014 FD 2014.10 SP x, 210p K1 記号論理学 PB コロナ社 PP 東京 SN 9784339024890 LA jpn CL NDC8:410.96 CL NDC9:410.96 NO 引用・参考文献: p[206]-207 NO 書誌ID=BB10179040; NCID=BB16884051; LK [OPAC]https://saosrv.kitasato-u.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10179040 LK OL 58