Oliveira, Elthon
-
v. 13, n. 2 (2023) - Artigos
USING A FIRST-ORDER-BASED LANGUAGE TO AUTOMATICALLY SYNTHESIZE VALID ARGUMENTS OF PROPOSITIONAL CALCULUS
Resumo
PDF
Todo conteúdo da revista está sob a licença
Revista de Sistemas e Computação. ISSN 2237-2903