aller au contenu
The reasoned schemer Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

The reasoned schemer

Auteur : Daniel P Friedman; William E Byrd; Oleg Kiselyov
Éditeur : Cambridge, Mass. [u.a.] MIT Press 2005
Édition/format :   Livre : AnglaisVoir 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 dans la bibliothèque

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

Détails

Format : Livre
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
Plus d’informations :

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…

Tags

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


<http://www.worldcat.org/oclc/835557053>
library:oclcnum"835557053"
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:author
schema:author
schema:creator
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/893590>
schema:inLanguage"en"
schema:name"The reasoned schemer"
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.