Portal eduCapes: Buscando no repositório

Navegando por Autor Nalon, Cláudia

Mostrando resultados 1 a 4 de 4

A resolution-based E-connected calculus
Nalon, Cláudia
Amaral, Lucas de Moura
21-Out-2019
★★★★★ (0)
Combining clause learning and resolution for multimodal reasoning
Nalon, Cláudia; daniaangelos@gmail.com
Angelos, Daniella Albuquerque dos
15-Mai-2020
★★★★★ (0)
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Nalon, Cláudia
Vieira, Thiago Coelho
20-Abr-2015
★★★★★ (0)
Verification of the Dynamic Authorization Protocol
Nalon, Cláudia
Oliveira, Felipe Rodopoulos de
15-Mai-2020
★★★★★ (0)

Mostrando resultados 1 a 4 de 4