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
Search in:
Selecione a lista para navegar
Search For:
Clear Search Box
Search in:
Por título
Por assunto
Por autor
Browse vid input
Busca Simples
This feature requires javascript
Automation of reasoning
Jörg H Siekmann; Graham Wrightson
Berlin New York Springer 1983
Localização:
IME - Inst. Matemática e Estatística
(QA860.C3 S571a v.2 )
(Acessar)
This feature requires javascript
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
This feature requires javascript
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
Título:
Automation of reasoning
Autor:
Jörg H Siekmann
;
Graham Wrightson
Assuntos:
Automatic theorem proving
;
INTELIGÊNCIA ARTIFICIAL
Notas:
Includes bibliographical references
Editor:
Berlin New York Springer
Data de criação/publicação:
1983
Formato:
2 v. ill. 25 cm.
Idioma:
Inglês
Links
Este item no Dedalus
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Resultado
1
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
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: