skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Lógica pensamento formal e argumentação
Lógica pensamento formal e argumentação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica pensamento formal e argumentação

Alaôr Caffé Alves

São Paulo Quartier Latin 2002

Localização: FD - Fac. Direito    (16 A477L 2.ed. BCI ) e outros locais(Acessar)

12
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)

13
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)

14
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)

15
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)

16
Resolucao de problemas em nomos efeito do grau de dificuldade logica do principio, e da nota diferencial para precisao de educao
Resolucao de problemas em nomos efeito do grau de dificuldade logica do principio, e da nota diferencial para precisao de educao
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Resolucao de problemas em nomos efeito do grau de dificuldade logica do principio, e da nota diferencial para precisao de educao

V B Haydu Fernando César Capovilla; C E Costa; M P Andrade; J C Luzia; S G Maichaki; C M Pagnossim; K G Silva; L. S Silva; L F Gava; M M Bueno; E C Macedo; Congresso Interno do Nucleo de Pesquisa em Neurociencias e Comportamento (4. 1994 Ribeirao Preto)

Resumos de Comunicacoes Cientificas Ribeirão Preto : Faculdade de Filosofia Ciencias e Letras-USP, 1994

Ribeirao Preto Faculdade de Filosofia Ciencias e Letras-Usp 1994

Localização: IP - Instituto de Psicologia    (QP360 C749r 1994 (AM=VDo/25) ) e outros locais(Acessar)

17
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)

18
Paralog um prolog paraconsistente baseado em logica anotada
Paralog um prolog paraconsistente baseado em logica anotada
Material Type:
Livro 		Adicionar ao Meu Espaço

Paralog um prolog paraconsistente baseado em logica anotada

Newton Carneiro Affonso da Costa 1929- J P A Prado; Jair Minoro Abe; B C Avila; Márcio Rillo 1953-2010

Sao Paulo Iea-Usp 1995

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

19
Topicos de teoria dos sistemas ordenados (1)
Topicos de teoria dos sistemas ordenados (1)
Material Type:
Livro 		Adicionar ao Meu Espaço

Topicos de teoria dos sistemas ordenados (1)

N A C Costa C M Barros; J M Abe

Sao Paulo Iea-Usp 1991

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

20
Direito de ser e participar em sao paulo
Direito de ser e participar em sao paulo
Material Type:
Livro 		Adicionar ao Meu Espaço

Direito de ser e participar em sao paulo

Eunice Aparecida de Jesus Prudente

Medina, C; Milton, G, Orgs Sao Paulo : Eca-Usp/Cnpq, 1995 Sobre Vivencias No Mundo do Trabalho

São Paulo Eca-Usp/Cnpq 1995

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (5.109)
  2. Recursos Online (399)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4.354)
  2. Artigos  (840)
  3. Produções Acadêmicas  (442)
  4. Produções Técnicas  (46)
  5. Revistas  (17)
  6. Recursos Textuais  (15)
  7. Outros  (13)
  8. Materiais Didáticos  (2)
  9. Audiovisuais  (2)
  10. Software  (1)
  11. Mais opções open sub menu

Autor/Criador 

  1. Costa, N  (93)
  2. Silva, I  (83)
  3. Oliveira, V  (77)
  4. Finger, M  (75)
  5. Quine, W  (51)
  6. Wassermann, R  (48)
  7. Mariano, H  (47)
  8. Hegenberg, L  (39)
  9. Frege, G  (35)
  10. Gabbay, D  (33)
  11. Hegel, G  (33)
  12. Nagel, E  (30)
  13. Gonzaga, A  (28)
  14. Macedo, E  (26)
  15. Capovilla, F  (26)
  16. Andrade, M  (23)
  17. Copi, I  (23)
  18. Bianconi, R  (20)
  19. Cohen, M  (17)
  20. Salmon, W  (16)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (577)
  2. 1960Até1975  (933)
  3. 1976Até1991  (987)
  4. 1992Até2008  (2.172)
  5. Após 2008  (1.132)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.074)
  2. Português  (1.541)
  3. Francês  (512)
  4. Espanhol  (305)
  5. Alemão  (223)
  6. Italiano  (136)
  7. Latim  (69)
  8. Indeterminado  (8)
  9. Vários idiomas  (5)
  10. Grego  (5)
  11. Árabe  (4)
  12. Russo  (4)
  13. Romance (outro)  (2)
  14. Romeno  (2)
  15. Grego  (2)
  16. Holandês  (1)
  17. Polonês  (1)
  18. Gótico  (1)
  19. Tcheco  (1)
  20. Norueguês  (1)
  21. Catalão  (1)
  22. No linguistic content  (1)
  23. Armênio  (1)
  24. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Costa, N
  2. Silva, I
  3. Oliveira, V
  4. Finger, M
  5. Quine, W

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.