pular para conteúdo
Social processes and proofs of theorems and programs Ver prévia deste item
FecharVer prévia deste item
Checando...

Social processes and proofs of theorems and programs

Autor: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
Editora: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
Séries: Research report (Yale University. Dept of Computer Science), 136.
Edição/Formato   Livro : Inglês
Base de Dados:WorldCat
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: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
Número OCLC: 11301774
Descrição: 34 pages ; 28 cm.
Título da Série: Research report (Yale University. Dept of Computer Science), 136.
Responsabilidade: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

Críticas

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/11301774>
library:oclcnum"11301774"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/128296912>
rdf:typeschema:Organization
schema:name"Yale University. Department of Computer Science."
schema:creator
schema:datePublished"1978"
schema:exampleOfWork<http://worldcat.org/entity/work/id/3698337>
schema:inLanguage"en"
schema:isPartOf
schema:name"Social processes and proofs of theorems and programs"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

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