検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 情報科学のための論理分析テクニック / 戸田誠之助著 A1 戸田, 誠之助 YR 2007 FD 2007.6 SP v, 149p K1 記号論理学 PB 培風館 PP 東京 SN 9784563015657 LA Japanese (日本語) CL NDC8:410.96 CL NDC9:410.96 NO 書誌ID=B000160205; NCID=BA82225662; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000160205 OL 58