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:   Libro : 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 in biblioteca

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

Dettagli

Tipo documento: Book
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
Maggiori informazioni:

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


<http://www.worldcat.org/oclc/835557053>
library:oclcnum"835557053"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Place
schema:name"Cambridge, Mass. u.a."
owl:sameAs<info:oclcnum/835557053>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:author
schema:contributor
schema:contributor
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/893590>
schema:inLanguage"en"
schema:name"The reasoned schemer"
schema:publisher
schema:workExample
schema:workExample

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.