pular para conteúdo
The reasoned schemer Ver prévia deste item
FecharVer prévia deste item
Checando...

The reasoned schemer

Autor: Daniel P Friedman; William E Byrd; Oleg Kiselyov
Editora: Cambridge, Mass. [u.a.] MIT Press 2005
Edição/Formato   Livro : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Tipo de Documento: Livro
Todos os Autores / Contribuintes: Daniel P Friedman; William E Byrd; Oleg Kiselyov
ISBN: 0262562146 9780262562140
Número OCLC: 835557053
Notas: Includes index
Descrição: X, 169 S. Ill.
Responsabilidade: Daniel P. Friedman; William E. Byrd; Oleg Kiselyov. Drawings by Duane Bibby
Mais informações:

Críticas

Críticas editoriais

Nielsen BookData

"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 Ler mais...

 
Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.

Ítens Similares

Assuntos Relacionados:(1)

Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.