跳至内容
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
rdf:typeschema:Book
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:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.