skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Remarks on analogy
Remarks on analogy
Material Type:
Livro 		Adicionar ao Meu Espaço

Remarks on analogy

N A C Costa A M Sette

Sao Paulo Iea-Usp 1990

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Costa, N C A doc 51 ) e outros locais(Acessar)

2
Set-theoretical foundations of categories in biology
Set-theoretical foundations of categories in biology
Material Type:
Livro 		Adicionar ao Meu Espaço

Set-theoretical foundations of categories in biology

N A C Costa J M Abe; Nelson Papavero 1942-

Sao Paulo Iea-Usp 1991

Item não circula. Consulte sua biblioteca.(Acessar)

3
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Livro 		Adicionar ao Meu Espaço

Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Dordrecht Springer 2000

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

4
Automatic theorem proving in paraconsistent logics theory and implementation
Automatic theorem proving in paraconsistent logics theory and implementation
Material Type:
Livro 		Adicionar ao Meu Espaço

Automatic theorem proving in paraconsistent logics theory and implementation

N A C Costa L J Henschen; J J Lu; V S Subrahmanian

São Paulo Iea-Usp 1990

Item não circula. Consulte sua biblioteca.(Acessar)

5
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)

Proceedings Seatle : IJCAI, 2001

Seatle IJCAI 2001

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

6
Structurally-free theorem proving and the learning of structural permissions in categorial grammar
Structurally-free theorem proving and the learning of structural permissions in categorial grammar
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Structurally-free theorem proving and the learning of structural permissions in categorial grammar

Marcelo Finger LACL 98: Logical Aspects of Computational Linguistics (1998 Grenoble)

LACL 98: Logical Aspects of Computational Linguistics Grenoble : Université Pierre Mendes- France, 1998

Grenoble Université Pierre Mendes-France 1998

Item não circula. Consulte sua biblioteca.(Acessar)

7
Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases
Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases
Material Type:
Livro 		Adicionar ao Meu Espaço

Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases

N A C Costa V S Subrahmanian

Sao Paulo Iea-Usp 1989

Item não circula. Consulte sua biblioteca.(Acessar)

8
Journal of Philosophical Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Journal of Philosophical Logic

Dordrecht, Boston, Hybrid

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

9
Journal of Symbolic Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Journal of Symbolic Logic

ENGLAND Cambridge University Press

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

10
Annals of Pure and Applied Logic
Material Type:
Revista 		Adicionar ao Meu Espaço

Annals of Pure and Applied Logic

NETHERLANDS North-Holland

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.   

Mostrar Somente

  1. Recursos Online (4.429)
  2. Revistas revisadas por pares (2.135)
  3. Disponível na Biblioteca (2.814)

Autor/Criador 

  1. Finger, M  (64)
  2. Oliveira, V  (48)
  3. Wassermann, R  (45)
  4. Mariano, H  (41)
  5. Gabbay, D  (33)
  6. Cozman, F  (32)
  7. Quine, W  (31)
  8. Costa, N  (29)
  9. Silva, I  (24)
  10. Hintikka, J  (23)
  11. Barros, L  (22)
  12. Barwise, J  (22)
  13. Ortega, N  (21)
  14. Miraglia Neto, F  (20)
  15. Machado, R  (20)
  16. Carnielli, W  (19)
  17. Faria, F  (19)
  18. Arrifano, N  (18)
  19. Tarski, A  (18)
  20. Copi, I  (16)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (222)
  2. 1960Até1975  (583)
  3. 1976Até1991  (952)
  4. 1992Até2008  (2.996)
  5. Após 2008  (3.171)
  6. Mais opções open sub menu

Idioma 

  1. Espanhol  (728)
  2. Português  (519)
  3. Catalão  (134)
  4. Alemão  (118)
  5. Japonês  (99)
  6. Francês  (82)
  7. Turco  (29)
  8. Latim  (21)
  9. Italiano  (20)
  10. Indeterminado  (4)
  11. Norueguês  (3)
  12. Árabe  (2)
  13. Russo  (2)
  14. Holandês  (2)
  15. Polonês  (1)
  16. Romeno  (1)
  17. Grego  (1)
  18. Grego  (1)
  19. No linguistic content  (1)
  20. Vários idiomas  (1)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Oliveira, V
  3. Wassermann, R
  4. Mariano, H
  5. Gabbay, D

Neste Assunto:

  1. Lógica Matemática
  2. Lógica
  3. Logic
  4. Logic, Symbolic And Mathematical
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.