検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode A1 Pereira, Luís Moniz A1 Nerode, Anil, 1932- YR 1993 FD c1993 SP vii, 494 p. K1 Logic programming -- Congresses K1 Reasoning -- Congresses PB MIT Press PP Cambridge, Mass. SN 0262660830 LA English (英語) CL LCC:QA76.63 CL DC20:006.3 NO Papers presented during the workshop held in Lisbon in June 1993 NO Includes bibliographical references and index NO 書誌ID=B000051118; NCID=BA20560034; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000051118 OL 30