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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1992Até2008 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Topicos de teoria dos sistemas ordenados
Topicos de teoria dos sistemas ordenados
Material Type:
Livro 		Adicionar ao Meu Espaço

Topicos de teoria dos sistemas ordenados

N A C Costa C Barros; J M Abe

Sao Paulo Iea-Usp 1995

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

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

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

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

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

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

9
Este livro encerra parte... [Prefácio]
Este livro encerra parte... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

Este livro encerra parte... [Prefácio]

Newton Carneiro Affonso da Costa 1929-

Costa, Newton Carneiro Affonso da; Béziau, Jean-Yves (*); Bueno, Otávio (*) Elementos de teoria paraconsistente de conjuntos Campinas : UNICAMP, Centro de Lógica, Epistemologia e História da Ciências, 1998 Coleção CLE, 23

Campinas UNICAMP, Centro de Lógica, Epistemologia e História da Ciências 1998

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

10
Logique de port royal de arnauld y nicole (1662)
Logique de port royal de arnauld y nicole (1662)
Material Type:
Livro 		Adicionar ao Meu Espaço

Logique de port royal de arnauld y nicole (1662)

Nelson Papavero 1942- J Llorente-Bousquets

Papavero, N; Llorente-Bousquets, J (*), Eds et Al Mexico : Universidad Nacional Autonoma de Mexico, 1994 Principia Taxonomica. Una Introduccion a los Fundamentos Logicos, Filosoficos Y Metodologicos de las Escuelas de Taxon omia Biologica. Iii. de Hsun Tzu a Kant

Mexico Universidad Nacional Autonoma de Mexico 1994

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.897)
  2. Recursos Online (159)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.610)
  2. Artigos  (315)
  3. Produções Acadêmicas  (172)
  4. Produções Técnicas  (31)
  5. Outros  (8)
  6. Revistas  (3)
  7. Recursos Textuais  (2)
  8. Audiovisuais  (2)
  9. Software  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (94)
  2. 1993Até1996  (388)
  3. 1997Até2000  (434)
  4. 2001Até2005  (754)
  5. Após 2005  (516)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.296)
  2. Português  (604)
  3. Francês  (103)
  4. Alemão  (68)
  5. Espanhol  (45)
  6. Italiano  (42)
  7. Latim  (28)
  8. Indeterminado  (4)
  9. Grego  (3)
  10. Vários idiomas  (2)
  11. Árabe  (2)
  12. Tcheco  (1)
  13. Catalão  (1)
  14. Grego  (1)
  15. No linguistic content  (1)
  16. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Costa, N
  2. Oliveira, V
  3. Finger, M
  4. Silva, I
  5. Gabbay, D

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.