検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 論理による問題の解法 : Prolog入門 / R. コワルスキ著 : 山田真市 [ほか] 訳 T2 情報処理シリーズ OT Logic for problem solving A1 Kowalski, Robert A1 山田, 真市(1937-) YR 1987 FD 1987.3 SP xv, 397p K1 プログラミング(電子計算機) PB 培風館 PP 東京 SN 4563007889 LA Japanese (日本語) CL NDC8:007.64 CL NDC8:007.6 CL NDC7:418.6 NO 監修: 浦昭二 NO 文献: p301-314 NO 書誌ID=B000042911; NCID=BN00856528; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000042911 OL 58