検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic for applications / Anil Nerode, Richard A. Shore T2 Texts and monographs in computer science A1 Nerode, Anil, 1932- A1 Shore, Richard A., 1946- YR 1993 FD c1993 VO : us VO : gw SP xvii, 365 p. K1 Logic programming K1 Logic, Symbolic and mathematical PB Springer-Verlag PP New York SN 0387941290 SN 3540941290 LA English (英語) CL LCC:QA76.63 CL DC20:005.1 NO Includes bibliographical references (p. 329-354) and indexes NO 書誌ID=B000075565; NCID=BA21388470; LK [OPAC]https://lib.pu-toyama.ac.jp/opac/opac_link/bibid/B000075565 OL 30