skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Após 2008 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A contraction core for Horn belief change preliminary report
A contraction core for Horn belief change preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A contraction core for Horn belief change preliminary report

Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)

Proceedings Toronto : SFU, 2010

Toronto SFU 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-1832114 ) e outros locais(Acessar)

2
Iniciação a lógica matemática
Iniciação a lógica matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Iniciação a lógica matemática

Edgard de Alencar Filho 1913-

São Paulo Nobel 1984

Localização: EEL - Biotecnologia e Química    (517.11 A125e 15ed. ex.5 ) e outros locais(Acessar)

3
Tornar consciente uma hipótese topológica
Tornar consciente uma hipótese topológica
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tornar consciente uma hipótese topológica

Paulo Marcos Rona Christian Ingo Lenz Dunker; Encontro do Programa de Pós-Graduação em Psicologia Clínica (1. 2009 São Paulo)

São Paulo: Instituto de Psicologia da Universidade de São Paulo Anais

São Paulo Instituto de Psicologia da Universidade de São Paulo 2009

Localização: IP - Instituto de Psicologia    (RC467 E56an (AM=SMariaa/41) ) e outros locais(Acessar)

4
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Material Type:
Livro 		Adicionar ao Meu Espaço

Subsystems of Second Order Arithmetic

Stephen George Simpson Association for Symbolic Logic.

Cambridge University Press 2009

Acesso online. A biblioteca também possui exemplares impressos.

5
Homologia O-minimal: aspectos topológicos de estruturas O-minimais
Homologia O-minimal: aspectos topológicos de estruturas O-minimais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Homologia O-minimal: aspectos topológicos de estruturas O-minimais

Camargo, Henrique Meretti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-06-07

Acesso online. A biblioteca também possui exemplares impressos.

6
evolution of logic
evolution of logic
evolution of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

evolution of logic

Wilbur Dyre Hart

Leiden Cambridge University Press 2010

Acesso online. A biblioteca também possui exemplares impressos.

7
Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Material Type:
Livro 		Adicionar ao Meu Espaço

Dual Tableaux: Foundations, Methodology, Case Studies

Ewa Orlowska Joanna Golinska-Pilarek

Springer Netherlands 2011

Acesso online. A biblioteca também possui exemplares impressos.

8
Teoria das funções de primeira ordem
Teoria das funções de primeira ordem
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Teoria das funções de primeira ordem

Freire, Rodrigo De Alvarenga

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-05-15

Acesso online. A biblioteca também possui exemplares impressos.

9
Lógica de primeira ordem
Lógica de primeira ordem
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica de primeira ordem

Andréa M. A. de Campos Loparic René Pierre Mazak; Luciano Vicente

São Paulo Editora UNESP Discurso Editorial 2009

Localização: EACH - Esc. Artes, Ciências e Humanidades    (511.3 S666L e.2 ) e outros locais(Acessar)

10
Lambda Calculus with Types
Lambda Calculus with Types
Lambda Calculus with Types
Material Type:
Livro 		Adicionar ao Meu Espaço

Lambda Calculus with Types

Hendrik Pieter Barendregt Fabio Alessi; Henk Barendregt; Wil Dekkers; Richard Statman Richard Statman Wil Dekkers; Association for Symbolic Logic.

Cambridge University Press 2013

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (248)
  2. Recursos Online (62)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (164)
  2. Artigos  (65)
  3. Produções Acadêmicas  (28)
  4. Produções Técnicas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (5)
  2. 1986Até2009  (45)
  3. 2010Até2014  (132)
  4. 2015Até2020  (69)
  5. Após 2020  (20)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (186)
  2. Português  (66)
  3. Italiano  (4)
  4. Francês  (4)
  5. Alemão  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.