Resultados de 1 a 10 de 32 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Nome da Publicação:
Journal of Logic and Computation
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Tractable depth-bounded approximations to FDE and its satellitesD’Agostino, Marcello ; Solares-Rojas, AlejandroJournal of logic and computation, 2024-07, Vol.34 (5), p.815-855 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Temporal logics for compartmental modelsMachado, Vitor ; Benevides, MarioJournal of logic and computation, 2024-05 [Periódico revisado por pares]Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logicFinger, Marcelo ; Preto, SandroJournal of logic and computation, 2023-10 [Periódico revisado por pares]Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
A logic-based tractable approximation of probabilityBaldi, Paolo ; Hosni, HykelJournal of logic and computation, 2023-04, Vol.33 (3), p.599-622 [Periódico revisado por pares]Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logicMarcelo Finger Sandro PretoJournal of Logic and Computation Oxford Publicado online, 2023Oxford 2023Localização: IME - Inst. Matemática e Estatística (PROD-3167046 )(Acessar) |
| 6 |
Material Type: Artigo
|
|
Temporal logic for social networksMachado, Vitor ; Benevides, MarioJournal of logic and computation, 2022-09, Vol.32 (6), p.1088-1108 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 7 |
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 |
| 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
|
|
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 |
| 10 |
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 |
Resultados de 1 a 10 de 32 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- 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 (21)
- Computer Science, Theory & Methods (21)
- Science & Technology (21)
- Technology (21)
- Logic (21)
- Science & Technology - Other Topics (21)
- 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 (6)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 