Author Details

MENDES KURY, RICARDO ARÔSO, UnB

  • - Submissões gerais
    Extensão de um provador de teoremas modais: lógicas confluentes
    Abstract


ISBN 978-85-64593-74-9