感觉这本书并没有很深入的讲逻辑程序设计的实现和细节而是更多的像智力游戏那样把逻辑程序设计的一些特性展示出来。平时看着消遣很不错,但不能作为深入了解逻辑程序设计的经典书。200多块钱。。。。。。感觉不是很值阿。
评分感觉这本书并没有很深入的讲逻辑程序设计的实现和细节而是更多的像智力游戏那样把逻辑程序设计的一些特性展示出来。平时看着消遣很不错,但不能作为深入了解逻辑程序设计的经典书。200多块钱。。。。。。感觉不是很值阿。
评分感觉这本书并没有很深入的讲逻辑程序设计的实现和细节而是更多的像智力游戏那样把逻辑程序设计的一些特性展示出来。平时看着消遣很不错,但不能作为深入了解逻辑程序设计的经典书。200多块钱。。。。。。感觉不是很值阿。
评分感觉这本书并没有很深入的讲逻辑程序设计的实现和细节而是更多的像智力游戏那样把逻辑程序设计的一些特性展示出来。平时看着消遣很不错,但不能作为深入了解逻辑程序设计的经典书。200多块钱。。。。。。感觉不是很值阿。
评分感觉这本书并没有很深入的讲逻辑程序设计的实现和细节而是更多的像智力游戏那样把逻辑程序设计的一些特性展示出来。平时看着消遣很不错,但不能作为深入了解逻辑程序设计的经典书。200多块钱。。。。。。感觉不是很值阿。
实现那章还得多看看,被点拨了其实整个unification的实现就是monad,比起上一版那一堆奇怪的宏可读性高多了效率也没差【据说是Ken Shan在Dan 60周年时的“礼物”。。。
评分实现那章还得多看看,被点拨了其实整个unification的实现就是monad,比起上一版那一堆奇怪的宏可读性高多了效率也没差【据说是Ken Shan在Dan 60周年时的“礼物”。。。
评分实现那章还得多看看,被点拨了其实整个unification的实现就是monad,比起上一版那一堆奇怪的宏可读性高多了效率也没差【据说是Ken Shan在Dan 60周年时的“礼物”。。。
评分实现那章还得多看看,被点拨了其实整个unification的实现就是monad,比起上一版那一堆奇怪的宏可读性高多了效率也没差【据说是Ken Shan在Dan 60周年时的“礼物”。。。
评分实现那章还得多看看,被点拨了其实整个unification的实现就是monad,比起上一版那一堆奇怪的宏可读性高多了效率也没差【据说是Ken Shan在Dan 60周年时的“礼物”。。。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有