検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著 A1 赤間, 世紀(1960-) YR 1992 FD 1992.12 SP 319p K1 記号論理学 K1 情報処理 PB 啓学出版 PP 東京 SN 476651159X LA Japanese (日本語) CL NDC8:007.1 CL NDC8:410.96 CL NDC7:410.12 NO 各章末:参考文献 NO 書誌ID=B000068642; NCID=BN08596180; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000068642 OL 58