aller au contenu
The reasoned schemer Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

The reasoned schemer

Auteur : Daniel P Friedman; William E Byrd; Oleg Kiselyov
Éditeur : Cambridge, Mass. [u.a.] MIT Press 2005
Édition/format :   Livre imprimé : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :

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

Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage : Ressource Internet
Format : Book, Internet Resource
Tous les auteurs / collaborateurs : Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN : 0262562146 9780262562140
Numéro OCLC : 835557053
Notes : Includes index
Description : x, 169 S. Ill
Responsabilité : Daniel P. Friedman; William E. Byrd; Oleg Kiselyov. Drawings by Duane Bibby

Critiques

Critiques éditoriales

Synopsis de l’éditeur

"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 Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Soyez le premier.

Ouvrages semblables

Sujets associés :(1)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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/161939653> ; # Oleg Kiselyov
    schema:author <http://experiment.worldcat.org/entity/work/data/3902004828#Person/byrd_william_e> ; # William E. Byrd
    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/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/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://worldcat.org/isbn/9780262562140>
    a schema:ProductModel ;
    schema:isbn "0262562146" ;
    schema:isbn "9780262562140" ;
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.