skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Acervo Físico
Or hit Enter to replace search target
Or select another collection:
Search in:
Acervo Físico
Busca Avançada
Busca por Índices
This feature requires javascript
This feature requires javascript
Computation, Proof, Machine: Mathematics Enters A New Age
Gilles Dowek Pierre Guillot; Marion Roman
Cambridge University Press 2015
Acesso online. A biblioteca também possui exemplares impressos.
Exibir Online
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
Abrir fonte em uma nova janela
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
<a href="https://metalibsfx.aguia.usp.br:3443/sfxlcl41?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-07-27T20%3A52%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Journal-usp_sfx&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.atitle=Computation,%20proof,%20machine%20mathematics%20enters%20a%20new%20age&rft.btitle=Computation,%20Proof,%20Machine:%20Mathematics%20Enters%20A%20New%20Age&rft.aulast=Dowek&rft.au=Dowek,%20Gilles&rft.isbn=0-521-11801-8&rft.isbn_list=0-521-13377-7&rft.isbn_list=1-316-38272-9&rft.isbn_list=1-316-37912-4&rft.isbn_list=1-139-02658-5&rft.isbn_list=9780521118019&rft.isbn_list=0521118018&rft.isbn_list=9780521133777&rft.isbn_list=0521133777&rft_id=info:doi/&rft.object_id=3710000000408678&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.fulltext=yes&rft_dat=%3Cusp_sfx%3E3710000000408678%3C/usp_sfx%3E%3Cgrp_id%3E296640310%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/" target="_blank">To get to the resource you are seeking: Abrir fonte em uma nova janela</a>
This feature requires javascript
Voltar para lista de resultados
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_FISICO)
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 
Logos de Redes Sociais: