検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian A1 Nerode, Anil, 1932- A1 Marek, Wiktor A1 Subrahmanian, V. S. A1 Association for Logic Programming YR 1991 FD c1991 SP vi, 288 p. K1 Logic programming -- Congresses K1 Reasoning -- Congresses PB MIT Press PP Cambridge, Mass. SN 0262640279 LA English (英語) CL LCC:QA76.63 CL DC20:005.1 NO Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others NO Includes bibliographical references and index NO 書誌ID=B000043839; NCID=BA12802309; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000043839 OL 30