skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Computabilidade, funções computáveis, lógica e os fundamentos da matemática

Walter Carnielli Richard L Epstein

São Paulo Editora da UNESP 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.05 C289co e.1 ) e outros locais(Acessar)

2
Combinação de algoritmos de segmentação de imagens por operadores de agregação
Combinação de algoritmos de segmentação de imagens por operadores de agregação
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Combinação de algoritmos de segmentação de imagens por operadores de agregação

Denise Guliato João Antonio Zuffo 1939-; Walter Alexandre Carnielli

1998

Localização: EPBC - Esc. Politécnica-Bib Central    (FT-1175 ) e outros locais(Acessar)

3
Reconciling first-order logic to algebra
Reconciling first-order logic to algebra
Material Type:
Livro 		Adicionar ao Meu Espaço

Reconciling first-order logic to algebra

Walter Alexandre Carnielli Hugo Luiz Mariano; Mariana Matulovic

Carnielli Walter; Malinowski, Jacek, ed Contradictions, from consistency to inconsistency Cham : Springer, 2018

Cham Springer 2018

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

4
Paraconsistent algebras
Paraconsistent algebras
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Paraconsistent algebras

Walter A. Carnielli (Walter Alexandre), 1952- Luis Paulo de Alcantara

São Paulo IME-USP 1981

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA9.8.RT I59 1981 v.21 e.2 )(Acessar)

5
Transfinite induction on ordinal configurations
Transfinite induction on ordinal configurations
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Transfinite induction on ordinal configurations

Walter A Carnielli Luiz Paulo de Alcantara

São Paulo IME-USP 1980

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA12.RT I59 1980 v.3 e.2 )(Acessar)

6
Computability computable functions, logic, and the foundations of mathematics
Computability computable functions, logic, and the foundations of mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability computable functions, logic, and the foundations of mathematics

Richard L. Epstein Walter A Carnielli (Walter Alexandre)

Pacific Grove, Calif. Wadsworth & Brooks/Cole Advanced Books & Software c1989

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 E64c ) e outros locais(Acessar)

7
Computability computable functions, logic, and the foundations of mathematics
Computability computable functions, logic, and the foundations of mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability computable functions, logic, and the foundations of mathematics

Richard L. Epstein Walter A Carnielli (Walter Alexandre)

Socorro, New Mexico Advanced Reasoning Forum c2008

Localização: IME - Inst. Matemática e Estatística    (QA810.25 E64c 3.ed. )(Acessar)

8
Logic without frontiers festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday
Logic without frontiers festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic without frontiers festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday

Jean-Yves Béziau; Marcelo Esteban Coniglio; Walter Alexandre Carnielli

London King's College Publications c2011

Localização: IME - Inst. Matemática e Estatística    (QA9.C3 B574L )(Acessar)

9
Minimal axiomatizations and algebraic rings a conjectured relationship
Minimal axiomatizations and algebraic rings a conjectured relationship
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Minimal axiomatizations and algebraic rings a conjectured relationship

Walter Alexandre Carnielli Marcelo Finger; Latin American Symposium on Mathematical Logic - SLALM (14. 2008 Paraty, Brasil)

Bulletin of Symbolic Logic New York v. 14, n. 3, p. 349, 2009

New York Cambridge University Press 2009

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

10
Logics of formal inconsistency
Logics of formal inconsistency
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Logics of formal inconsistency

Almeida, João Marcos De Universidade Estadual de Campinas (Unicamp); Carnielli, Walter Alexandre, 1952-; Caleiro, Carlos M. C. L; Caleiro, Carlos M. C. L.; Krause, Decio; Sautter, Frank T.; Rasga, João F. Q. S.; Coniglio, Marcelo Esteban; Finger, Marcelo; Universidade Estadual De Campinas. Instituto De Filosofia E Ciências Humanas; Universidade Tecnica De Lisboa. Instituto Superior Tecnico; Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/334172

[s.n.] 2005

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

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (87)
  2. Livros  (22)
  3. Anais de Congresso  (6)
  4. Produções Acadêmicas  (2)
  5. Produções Técnicas  (2)
  6. Web Resources  (1)
  7. Conjunto de Dados  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (12)
  2. 1989Até1999  (15)
  3. 2000Até2007  (25)
  4. 2008Até2016  (27)
  5. Após 2016  (44)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Carnielli, W
  2. Epstein, R
  3. Coniglio, M
  4. Mauad, T
  5. Rocco, P

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Infant, Newborn
  5. Pediatrics

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

Buscando em bases de dados remotas. Favor aguardar.