検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards T2 International computer science series A1 Richards, Tom YR 1989 FD c1989 SP xiii, 359 p. K1 Expert systems (Computer science) K1 Artificial intelligence K1 Logic, Symbolic and mathematical K1 Reasoning PB Addison-Wesley Pub. Co. PP Sydney ; Reading, Mass. SN 0201129205 LA English (英語) CL LCC:QA76.76.E95 CL DC19:006.3 NO Includes bibliographies and index NO 書誌ID=1001983833; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001983833 OL 30