skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Sistemas Lógicos Não Clássicos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Álgebras das lógicas de Lukasiewicz
Álgebras das lógicas de Lukasiewicz
Material Type:
Livro 		Adicionar ao Meu Espaço

Álgebras das lógicas de Lukasiewicz

Roberto L O Cignoli Itala M L D'otaviano; Daniele Mundici

Campinas Unicamp, Centro de Logica, Epistemologia e Historia da Cienc 1994

Localização: IF - Instituto de Física    (511.3 C571a ) e outros locais(Acessar)

2
Multiple-conclusion Logic
Multiple-conclusion Logic
Multiple-conclusion Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiple-conclusion Logic

D. J. Smiley, T. J. Shoesmith D. J Shoesmith; T. J Smiley; Timothy John Smiley

Cambridge Cambridge University Press 1978

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

3
Para-analyzer and its applications
Para-analyzer and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Para-analyzer and its applications

Jair Minoro Abe João Inácio da Silva Filho; Fábio Romeu de Carvalho; Israel Brunstein 1936-2008

Abe, Jair Minoro(*); Nakamatsu, Kazumi(*). (Eds.) Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 Amsterdam : IOS Press, 2005

Amsterdam IOS Press 2005

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

4
Proposta de uso da lógica paraconsistente anotada na análise do poder de competição o estudo do fator dificuldades à entrada de concorrentes
Proposta de uso da lógica paraconsistente anotada na análise do poder de competição o estudo do fator dificuldades à entrada de concorrentes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Proposta de uso da lógica paraconsistente anotada na análise do poder de competição o estudo do fator dificuldades à entrada de concorrentes

Marco Antonio Domingues Israel Brunstein 1936-2008; Jair Minoro Abe; Encontro Nacional de Engenharia de Produção (24. 2004 Florianópolis); International Conference on Industrial Engineering and Operations Management (10. 2004 Florianópolis)

Anais. Florianópolis, ABEPRO, 2004

Florianópolis ABEPRO 2004

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

5
Decision making based on paraconsistent annotated logic
Decision making based on paraconsistent annotated logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Decision making based on paraconsistent annotated logic

Fábio Romeu de Carvalho Israel Brunstein 1936-2008; Jair Minoro Abe

Abe, Jair Minoro(*); Nakamatsu, Kazumi(*). (Eds.) Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 Amsterdam : IOS Press, 2005

Amsterdam IOS Press 2005

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

6
Paraconsistent annotated logic viability analysis an approach to product launching
Paraconsistent annotated logic viability analysis an approach to product launching
Material Type:
Livro 		Adicionar ao Meu Espaço

Paraconsistent annotated logic viability analysis an approach to product launching

Fábio Romeu de Carvalho Israel Brunstein 1936-2008; Jair Minoro Abe

Dubois, Daniel M. (Ed.) Computing Anticipatory Systems: CASYS'03 - Sixth International Conference Liège : University of Liège, 2004

Liège University of Liège 2004

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

7
Intensional Mathematics
Intensional Mathematics
Intensional Mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Intensional Mathematics

S. Shapiro Stewart Shapiro

Elsevier 1985

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

8
Quantum Logic
Quantum Logic
Quantum Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantum Logic

Mittelstaedt Robert S Cohen; Donald Davidson

Springer Netherlands 1978

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

9
Handbook of Philosophical Logic
Handbook of Philosophical Logic
Handbook of Philosophical Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of Philosophical Logic

Jaakko Davidson, Donald Nuchelmans, Gabriël Hintikka Donald Davidson; Franz Guenthner; Gabriël Nuchelmans

Springer Netherlands 1983

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

10
Labelled deductive systems
Labelled deductive systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Labelled deductive systems

Dov M. Gabbay 1945-

Oxford Clarendon Press New York Oxford University Press 1996-

Localização: IME - Inst. Matemática e Estatística    (QA9.8 G112L v.1 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (38)
  2. Recursos Online (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (42)
  2. Produções Acadêmicas  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (5)
  2. 1974Até1983  (9)
  3. 1984Até1992  (5)
  4. 1993Até1999  (11)
  5. Após 1999  (14)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Abe, J
  2. Carvalho, F
  3. Brunstein, I
  4. Gabbay, D
  5. Costa, N

Neste Assunto:

  1. Lógica Matemática
  2. Logic
  3. Lógica Modal
  4. Many-Valued Logic
  5. Lógica

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

Buscando em bases de dados remotas. Favor aguardar.