検索結果をRefWorksへエクスポートします。対象は1件です。
Export
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 Japanese (日本語) CL NDC8:410.96 CL NDC9:410.96 NO 引用・参考文献: p[206]-207 NO 書誌ID=1002723803; NCID=BB16884051; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1002723803 OL 58