A Graph Based Theorem Proving Platform with Strategies.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Assistentes Automáticos de Demonstração
-
Deduções Estruturadas como Circuitos
-
Ferramentas para Especificação de Lógicas
-
Lógica
-
Métodos Formais
-
Prova Automática de Teoremas
-
Provadores Automáticos de Teoremas
-
Teoria da Prova
Identidade
identificador BrCris
-
581e7cbec2cd585cffa8fd3bfe312b03
identificador Capes
-
2008431005012004P9-Publication
identificador Oasisbr
-
PUC_RIO-1_89350b6609d6bcfdfada78ddae472a0a