検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter A1 Reiter, Raymond YR 2001 FD c2001 SP xvi, 424 p. K1 Knowledge representation (Information theory) K1 Expert systems (Computer science) K1 Logic, Symbolic and mathematical PB MIT Press PP Cambridge, Mass. ; London SN 0262182181 LA English (英語) CL LCC:Q387 NO Includes bibliographical references (p. [409]-418) and index NO 書誌ID=1001354070; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001354070 OL 30