實物特徵: Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota.

Summary goes here

Saved in:

書目詳細資料
格式:	圖書
語言:	英语
主題:	Logic programming. Prolog (Computer program language) COMPUTERS / Programming Languages / General.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

實物特徵
總結:	Summary goes here
Item Description:	General Notes
ISBN:	9781139021326 (online) 9781139506298 (online) 9781139513999 (online) 9781139514927 (online) 9781139516570 (online) 9781139517492 (online) 9781139518420 (online) 9781280775086 (online)