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; Duane Bibby
Publisher: Cambridge, Mass. ; London : The MIT Press, cop. 2005.
Edition/Format:   Print 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.

 

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; Duane Bibby
ISBN: 0262562146 9780262562140
OCLC Number: 750481604
Description: x, 169 s. : il. ; 23 cm
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/750481604> # The reasoned schemer
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "750481604" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/994679#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/16796235> ; # Duane Bibby
   schema:contributor <http://viaf.org/viaf/161939653> ; # Oleg Kiselyov
   schema:contributor <http://experiment.worldcat.org/entity/work/data/994679#Person/byrd_william_e> ; # William E. Byrd
   schema:copyrightYear "op." ;
   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 "750481604" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/750481604#PublicationEvent/cambridge_mass_london_the_mit_press_cop_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/994679#Agent/the_mit_press> ; # The MIT Press
   schema:workExample <http://worldcat.org/isbn/9780262562140> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/750481604> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/994679#Agent/the_mit_press> # The MIT Press
    a bgn:Agent ;
   schema:name "The MIT Press" ;
    .

<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> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

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

<http://viaf.org/viaf/16796235> # Duane Bibby
    a schema:Person ;
   schema:familyName "Bibby" ;
   schema:givenName "Duane" ;
   schema:name "Duane Bibby" ;
    .

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