検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著 A1 加藤, 暢(工学) A1 高田, 司郎 A1 新出, 尚之 YR 2014 FD 2014.10 VO : electronic bk SP 1 オンラインリソース K1 記号論理学 PB コロナ社 PP 東京 SN 9784339224894 LA Japanese (日本語) CL NDC9:410.96 NO 引用・参考文献: p[206]-207 NO 書誌ID=1003124464; LK [E Book]https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000043423 OL 58