検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computation as logic / René Lalement ; translated by John Plaice T2 Prentice Hall International series in computer science OT Logique, réduction, résolution A1 Lalement, René YR 1993 FD c1993 SP xi, 387 p. K1 Logic programming K1 Functional programming (Computer science) K1 Logic, Symbolic and mathematical PB Masson PB Prentice Hall PP Paris PP Hemel, Hempstead ; Englewood Cliffs, NJ SN 0137700091 LA English (英語) CL LCC:QA76.63 CL DC20:005.1 NO Includes bibliographical references and index NO 書誌ID=1000485425; NCID=BA21217401; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000485425 OL 30