跳到内容
The reasoned schemer 预览资料
关闭预览资料
正在查...

The reasoned schemer

著者: Daniel P Friedman; William E Byrd; Oleg Kiselyov
出版商: Cambridge, Mass. [u.a.] MIT Press 2005
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:

Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

文件类型:
所有的著者/提供者: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 0262562146 9780262562140
OCLC号码: 835557053
注意: Includes index
描述: X, 169 S. Ill.
责任: Daniel P. Friedman; William E. Byrd; Oleg Kiselyov. Drawings by Duane Bibby
更多信息:

评论

社评

出版商概要

"Contrary to popular belief, logic programming doesn't always mean programming in Prolog. In this groundbreaking book, Friedman and Kiselyov extend Scheme to form a completely new kind of logic 再读一些...

 
用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!

相似资料

确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/835557053>
library:oclcnum"835557053"
library:placeOfPublication
owl:sameAs<info:oclcnum/835557053>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:author
schema:author
schema:creator
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/893590>
schema:inLanguage"en"
schema:name"The reasoned schemer"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.