コンテンツへ移動
The reasoned schemer 資料のプレビュー
閉じる資料のプレビュー
確認中…

The reasoned schemer

著者: Daniel P Friedman; William E Byrd; Oleg Kiselyov
出版: Cambridge, Mass. [u.a.] MIT Press 2005
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース: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 No.: 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のレビューを取得中…

タグ

まずはあなたから!

類似資料

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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にログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.