Author Details

da Cunha, Dayanne Fernandes, Universidade de Brasilia, Brazil

  • - Submissões gerais
    Provadores de Teoremas para Lógicas Modais: Avaliação Experimental
    Abstract