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
Imperative history two-dimensional executable temporal logic
Imperative history two-dimensional executable temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Imperative history two-dimensional executable temporal logic

Marcelo Finger Mark C Reynolds

Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999

Dordrecht Springer 1999

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

2
Part-Whole Reasoning in an Object-Centered Framework
Part-Whole Reasoning in an Object-Centered Framework
Part-Whole Reasoning in an Object-Centered Framework
Material Type:
Livro 		Adicionar ao Meu Espaço

Part-Whole Reasoning in an Object-Centered Framework

Patrick Lambrix

Springer Berlin Heidelberg 2000

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

3
The logic of significance and context
The logic of significance and context
Material Type:
Livro 		Adicionar ao Meu Espaço

The logic of significance and context

Leonard Goddard Richard Sylvan

New York Wiley 1973-

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (149.94 G578l v.1 )(Acessar)

4
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-Standard Inferences in Description Logics

Ralf Küsters

Springer Berlin Heidelberg 2001

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

5
The decision problem solvable classes of quantificational formulas
The decision problem solvable classes of quantificational formulas
Material Type:
Livro 		Adicionar ao Meu Espaço

The decision problem solvable classes of quantificational formulas

Burton Dreben Warren D Goldfarb

Reading, Mass. Addison-Wesley, Advanced Book Program 1979

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

6
Substance and predication in Aristotle
Substance and predication in Aristotle
Material Type:
Livro 		Adicionar ao Meu Espaço

Substance and predication in Aristotle

Frank A. Lewis

Cambridge Cambridge University Press New York 1991

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (185.1 A717Lf 1991 e.3 )(Acessar)

7
Predicate logic the semantic foundations of logic
Predicate logic the semantic foundations of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Predicate logic the semantic foundations of logic

Richard L Epstein

Belmont, CA Wadsworth Thomson Learning 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 E64pr )(Acessar)

8
Modern theories of higher level predicates second intentions in the Neuzeit
Modern theories of higher level predicates second intentions in the Neuzeit
Material Type:
Livro 		Adicionar ao Meu Espaço

Modern theories of higher level predicates second intentions in the Neuzeit

Larry A. Hickman 1942-

München Philosophia 1980

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 H628m )(Acessar)

9
Model theory for modal logic Kripke models for modal predicate calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Model theory for modal logic Kripke models for modal predicate calculi

Kenneth A. Bowen

Dordrecht, Holland Boston D. Reidel Pub. Co. c1979

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.127 e.3 )(Acessar)

10
Non-existence and predication
Non-existence and predication
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-existence and predication

Rudolf Haller 1929-

Amsterdam Rodopi c1986

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (121 N812 e.2 )(Acessar)

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  (4.104)
  2. Book Chapters  (681)
  3. Anais de Congresso  (260)
  4. Livros  (58)
  5. Reports  (58)
  6. Verbetes  (40)
  7. Resenhas  (9)
  8. Conjunto de Dados  (4)
  9. Dissertações  (4)
  10. magazinearticle  (3)
  11. Web Resources  (2)
  12. Newsletter Articles  (1)
  13. Recursos Textuais  (1)
  14. Mais opções open sub menu

Idioma 

  1. Inglês  (5.181)
  2. Japonês  (159)
  3. Francês  (10)
  4. Espanhol  (9)
  5. Alemão  (6)
  6. Português  (3)
  7. Esloveno  (3)
  8. Russo  (2)
  9. Persa  (2)
  10. Chinês  (2)
  11. Tcheco  (1)
  12. Norueguês  (1)
  13. Árabe  (1)
  14. Turco  (1)
  15. Romeno  (1)
  16. Grego  (1)
  17. Holandês  (1)
  18. Hebraico  (1)
  19. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Porfírio
  2. Goddard, L
  3. Bowen, K
  4. Reynolds, M
  5. Barnouw, J

Neste Assunto:

  1. Predicates
  2. Predicate Logic
  3. Logic
  4. Philosophy
  5. Arts & Humanities

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

Buscando em bases de dados remotas. Favor aguardar.