検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 知識と推論 / 森下真一著 T2 情報数学講座 A1 森下, 真一(1960-) YR 1994 FD 1994.1 SP vi, 205p K1 記号論理学 K1 記号論理学 PB 共立出版 PP 東京 SN 4320026608 LA Japanese (日本語) CL NDC8:007.1 CL NDC8:410.96 CL NDC7:410.12 CL NDLC:MA41 NO 参考文献: p[199]-202. 索引: 巻末 NO 書誌ID=B000067394; NCID=BN10188347; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000067394 OL 58