Resultados de 1 a 10 de 31 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Analytic Methods for the Logic of ProofsFinger, MarceloJournal of logic and computation, 2010-02, Vol.20 (1), p.167-188 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A logical reconstruction of temporal databasesMarcelo FingerJournal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000Oxford 2000Localização: IME - Inst. Matemática e Estatística (PROD-1193384 )(Acessar) |
| 3 |
Material Type: Artigo
|
|
A logical reconstruction of temporal databasesMarcelo FingerJournal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000Oxford 2000Localização: IME - Inst. Matemática e Estatística (PROD-1193384 )(Acessar) |
| 4 |
Material Type: Artigo
|
|
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and ControlFinger, Marcelo ; Wasserman, RenataJournal of logic and computation, 2004-04, Vol.14 (2), p.179-204 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 5 |
Material Type: Artigo de Congresso
|
|
Analytic methods for the logic of proofsMarcelo Finger International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16 (16. 2007 Provence)Journal of Logic and Computation Oxford v. 20, n. 1, p. 167-188, 2010Oxford 2010Localização: IME - Inst. Matemática e Estatística (PROD-1822336 ) e outros locais(Acessar) |
| 6 |
Material Type: Artigo
|
|
Anytime Approximations of Classical Logic from AboveFinger, M. ; Wassermann, R.Journal of logic and computation, 2007-02, Vol.17 (1), p.53-82 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
A logical reconstruction of temporal databasesFinger, MJournal of logic and computation, 2000-12, Vol.10 (6), p.847-876 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Turing is among usPereira, L. M.Journal of logic and computation, 2012-12, Vol.22 (6), p.1257-1277 [Periódico revisado por pares]Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
Logics for some dynamic spaces-IKhan, M. A. ; Banerjee, M.Journal of logic and computation, 2015-06, Vol.25 (3), p.827-856 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Cut Elimination and Realization for Epistemic Logics with JustificationGhari, M.Journal of logic and computation, 2012-10, Vol.22 (5), p.1171-1198 [Periódico revisado por pares]Texto completo disponível |
Resultados de 1 a 10 de 31 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
Refinar Meus Resultados
Assunto
- Computer Science (20)
- Computer Science, Theory & Methods (20)
- Science & Technology (20)
- Technology (20)
- Logic (20)
- Science & Technology - Other Topics (20)
- Modal Logic (3)
- Logic Of Proofs (2)
- Decidability (2)
- Proving (2)
- Inteligência Artificial (2)
- Description Logic (2)
- Temporal Logic (2)
- Approximate Reasoning (2)
- Lógica (2)
- Automated Reasoning (2)
- Alan Turing (1)
- Lógica Combinatória (1)
- Action Language (1)
- Abduction (1)
- Lógica Matemática (1)
- Algorithms (1)
- Automation (1)
- Biological (1)
- Programação Linear (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de2000 (4)
- 2000Até2003 (8)
- 2004Até2007 (9)
- 2008Até2015 (6)
- Após 2015 (5)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 