検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.) T2 Lecture notes in computer science A1 LPNMR A1 Marek, Wiktor A1 Nerode, Anil, 1932- A1 Truszczyński, Mirosław YR 1995 FD c1995 SP viii, 415 p. K1 Logic programming -- Congresses K1 Reasoning -- Congresses PB Springer Verlag PP Berlin ; New York SN 0387594876 LA English (英語) CL LCC:QA76.63 CL DC20:005.1/1 NO Includes bibliographical references and index NO 書誌ID=1000522202; NCID=BA25252506; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000522202 OL 30