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:   eBook : Document : EnglishView all editions and formats
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.

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 9780262562140 0262562146 9780262256179 0262256177
OCLC Number: 857968355
Notes: Includes index.
Description: Online-Ressource
Responsibility: Daniel P. Friedman, William E. Byrd, Oleg Kiselyov ; drawings by Duane Bibby.

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.
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


Primary Entity

<http://www.worldcat.org/oclc/857968355> # The reasoned schemer
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "857968355" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4524657960#Place/cambridge_mass> ; # Cambridge, Mass
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://dewey.info/class/005.133/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/161939653> ; # Oleg Kiselyov
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4524657960#Person/byrd_william_e> ; # William E. Byrd
   schema:creator <http://experiment.worldcat.org/entity/work/data/4524657960#Person/friedman_daniel_p> ; # Daniel P. Friedman
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4524657960> ;
   schema:inLanguage "en" ;
   schema:name "The reasoned schemer" ;
   schema:productID "857968355" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/857968355#PublicationEvent/cambridge_mass_mit_press_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4524657960#Agent/mit_press> ; # MIT Press
   schema:url <http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9780262256179> ;
   schema:workExample <http://worldcat.org/isbn/9780262256179> ;
   schema:workExample <http://worldcat.org/isbn/9780262562140> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/857968355> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4524657960#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/4524657960#Person/friedman_daniel_p> # Daniel P. Friedman
    a schema:Person ;
   schema:familyName "Friedman" ;
   schema:givenName "Daniel P." ;
   schema:name "Daniel P. Friedman" ;
    .

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

<http://worldcat.org/isbn/9780262256179>
    a schema:ProductModel ;
   schema:isbn "0262256177" ;
   schema:isbn "9780262256179" ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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