Resultados de 1 a 10 de 12 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (7)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Multi-Dimensional Modal LogicMarx Jon Barwise; Maarten Marx; Yde VenemaSpringer Netherlands 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Advances in Intensional LogicDov M. Barwise, Jon de Rijke, Maarten Gabbay Jon Barwise; Maarten de RijkeSpringer Netherlands 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Labelled DeductionDov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca ViganòSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Proof Theory for Fuzzy LogicsGeorge Metcalfe Jon Barwise; Dov M Gabbay; Nicola OlivettiSpringer Netherlands 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Situation theory and its applications Vol.2Jon Barwise; Conference on Situation Theory and its Applications ( 2nd : 1990 : Loch Rannoch, Scotland)Menlo Park, CA CSLI/SRI International 1991Localização: IME - Inst. Matemática e Estatística (QA9.C C748s 2º )(Acessar) |
| 6 |
Material Type: Livro
|
|
Fuzzy Sets, Logics and Reasoning about KnowledgeDov M. Barwise, John Dubois, Didier Gabbay John Barwise; Didier Dubois; Erich Peter Klement; Henri PradeSpringer Netherlands 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Handbook of mathematical logicJon Barwise; H. Jerome KeislerAmsterdam Elsevier New York 1999Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 H236 )(Acessar) |
| 8 |
Material Type: Livro
|
|
Proof Theory of Modal LogicDov M. Barwise, Jon Wansing, Heinrich Gabbay Jon Barwise; Heinrich WansingSpringer Netherlands 1996Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Livro
|
|
Admissible sets and structures an approach to definability theoryJon BarwiseBerlin New York Springer-Verlag 1975Localização: IME - Inst. Matemática e Estatística (QA12.3 B296a e.2 )(Acessar) |
| 10 |
Material Type: Livro
|
|
The situation in logicJon BarwiseStanford, CA Center for the Study of Language and Information c1989Localização: IME - Inst. Matemática e Estatística (QA860 B296s )(Acessar) |
Resultados de 1 a 10 de 12 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (7)
Refinar Meus Resultados
Assunto
- Lógica Matemática (8)
- Modality (Logic) (4)
- Logic, Symbolic And Mathematical (3)
- Inteligência Artificial (3)
- Lógica Modal (3)
- Language And Logic (2)
- Fuzzy Logic (2)
- Lógica Matemática (Textos Avançados) (2)
- Modalit E (Logique) (2)
- Logica (2)
- Proof Theory (2)
- Lógica Algébrica (Textos Avançados) (1)
- Definability theory (Mathematical logic) (1)
- Preuve, Th Eorie De La (1)
- Teoria Da Demonstração (Textos Avançados) (1)
- Sprachlogik (1)
- Fuzzy-Logik (1)
- Logique Symbolique Et Math Ematique (1)
- Análise Não Standard (Textos Avançados) (1)
- Langage Naturel, Traitement Du (Informatique) (1)
-
Mais opções
Autor/Criador
- Gabbay, D (6)
- Keisler, H (2)
- Basin, D (1)
- de Rijke, M (1)
- Rijke, M (1)
- Marx (1)
- Prade, H (1)
- Mathews, S (1)
- Klement, E (1)
- Venema, Y (1)
- Matthews, S (1)
- D'Agostino (1)
- Spurr, J (1)
- Marx, M (1)
- Wansing, H (1)
- Viganò, L (1)
- Olivetti, N (1)
- Dubois, D (1)
- Akama, S (1)
-
Mais opções
Data de Publicação
- Antes de1977 (1)
- 1977Até1988 (1)
- 1989Até1990 (1)
- 1991Até1996 (2)
- Após 1996 (7)
-
Mais opções
Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 