Navegando por Assunto Lógica modal

Pular para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre as primeiras letras:  
Mostrando resultados 1 a 7 de 7
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
28-Jun-20225-Nov-2021Algoritmos de seleção de cláusulas em provas por resolução para lógicas modaisLeite, José Marcos da SilvaNalon, Cláudia-
22-Nov-201614-Jul-2011Análise da complexidade de espaço para um algoritmo de K(1)-ValidadeVilela, Bruno AzevedoNalon, Cláudia-
5-Out-202321-Jul-2023Implementação da combinação de métodos de prova automática de teoremas para lógicas modaisMacêdo, Karen LimaNalon, Cláudia-
6-Abr-20172016Métodos polinomiais para simplificação de fórmulas modaisMenezes, André BelleNalon, Cláudia-
5-Out-202316-Fev-2023Preprocessamento de cláusulas para raciocínio local e global no KSPMelo, João Victor Cabral deNalon, Cláudia-
14-Out-201911-Dez-2018Reflexões céticas sobre epistemologia das modalidadesSouza Júnior, Antonio Dantas deCosta-Leite, Alexandre-
11-Ago-201730-Jan-2016Tableaux clausal para lógica modalAngelos, Daniella Albuquerque dosNalon, Cláudia-
Mostrando resultados 1 a 7 de 7