Perfil do autor

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