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

The reasoned schemer

著者: Daniel P Friedman; William E Byrd; Oleg Kiselyov
出版: Cambridge, Mass. [u.a.] MIT Press 2005
エディション/フォーマット:   書籍 : 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 を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/835557053>
library:oclcnum"835557053"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Place
schema:name"Cambridge, Mass. u.a."
owl:sameAs<info:oclcnum/835557053>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:author
schema:contributor
schema:contributor
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/893590>
schema:inLanguage"en"
schema:name"The reasoned schemer"
schema:publisher
schema:workExample
schema:workExample

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

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