skip to content
The reasoned schemer Preview this item
ClosePreview this item
Checking...

The reasoned schemer

Author: Daniel P Friedman; William E Byrd; Oleg Kiselyov
Publisher: Cambridge, Mass. : MIT Press, 2005.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

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

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 0262562146 9780262562140
OCLC Number: 474960253
Description: x, 169 s. : ill.
Responsibility: Daniel P. Friedman, William E. Byrd, Oleg Kiselyov.

Reviews

Editorial reviews

Publisher Synopsis

"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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/474960253>
library:oclcnum"474960253"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/474960253>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:contributor
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:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.