跳至内容
The reasoned schemer 線上預覽
關閉線上預覽
正在查...

The reasoned schemer

作者: Daniel P Friedman; William E Byrd; Oleg Kiselyov
出版商: Cambridge, Mass. [u.a.] MIT Press 2005
版本/格式:   Print book : 英語所有版本和格式的總覽
資料庫: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的評論

標籤

成爲第一個

類似資料

確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


Primary Entity

<http://www.worldcat.org/oclc/835557053> # The reasoned schemer
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "835557053" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/994679#Place/cambridge_mass_u_a> ; # Cambridge, Mass. u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/1106667> ; # Scheme (Computer program language)
   schema:about <http://dewey.info/class/005.133/> ;
   schema:author <http://viaf.org/viaf/161939653> ; # Oleg Kiselyov
   schema:author <http://experiment.worldcat.org/entity/work/data/994679#Person/byrd_william_e> ; # William E. Byrd
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/994679#Person/friedman_daniel_p> ; # Daniel P. Friedman
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/994679> ;
   schema:inLanguage "en" ;
   schema:name "The reasoned schemer" ;
   schema:productID "835557053" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/835557053#PublicationEvent/cambridge_mass_u_a_mit_press2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/994679#Agent/mit_press> ; # MIT Press
   schema:url <http://www.gbv.de/dms/bowker/toc/9780262562140.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780262562140> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/835557053> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/994679#Person/byrd_william_e> # William E. Byrd
    a schema:Person ;
   schema:familyName "Byrd" ;
   schema:givenName "William E." ;
   schema:name "William E. Byrd" ;
    .

<http://experiment.worldcat.org/entity/work/data/994679#Person/friedman_daniel_p> # Daniel P. Friedman
    a schema:Person ;
   schema:familyName "Friedman" ;
   schema:givenName "Daniel P." ;
   schema:name "Daniel P. Friedman" ;
    .

<http://experiment.worldcat.org/entity/work/data/994679#Place/cambridge_mass_u_a> # Cambridge, Mass. u.a.
    a schema:Place ;
   schema:name "Cambridge, Mass. u.a." ;
    .

<http://id.worldcat.org/fast/1106667> # Scheme (Computer program language)
    a schema:Intangible ;
   schema:name "Scheme (Computer program language)" ;
    .

<http://viaf.org/viaf/161939653> # Oleg Kiselyov
    a schema:Person ;
   schema:familyName "Kiselyov" ;
   schema:givenName "Oleg" ;
   schema:name "Oleg Kiselyov" ;
    .

<http://worldcat.org/isbn/9780262562140>
    a schema:ProductModel ;
   schema:isbn "0262562146" ;
   schema:isbn "9780262562140" ;
    .


Content-negotiable representations

關閉視窗

請登入WorldCat 

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