passa ai contenuti
The reasoned schemer Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

The reasoned schemer

Autore: Daniel P Friedman; William E Byrd; Oleg Kiselyov
Editore: Cambridge, Mass. [u.a.] MIT Press 2005
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 0262562146 9780262562140
Numero OCLC: 835557053
Note: Includes index
Descrizione: x, 169 S. Ill
Responsabilità: Daniel P. Friedman; William E. Byrd; Oleg Kiselyov. Drawings by Duane Bibby

Commenti

Recensioni editoriali

Sinossi editore

"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 Per saperne di più…

 
Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(1)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/835557053> # The reasoned schemer
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "835557053" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3902004828#Place/cambridge_mass_u_a> ; # Cambridge, Mass. u.a.
   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/19090450> ; # William E. Byrd
   schema:author <http://viaf.org/viaf/161939653> ; # Oleg Kiselyov
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3902004828#Person/friedman_daniel_p> ; # Daniel P. Friedman
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3902004828> ;
   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/3902004828#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/3902004828#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/3902004828#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://viaf.org/viaf/19090450> # William E. Byrd
    a schema:Person ;
   schema:familyName "Byrd" ;
   schema:givenName "William E." ;
   schema:name "William E. Byrd" ;
    .

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


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.