Author Details

MACÊDO, KAREN LIMA, UnB, Brazil

  • - Submissões gerais
    Implementação de Interfaces para Raciocínio Local e Global em um Provador Automático de Teoremas para Lógicas Modais
    Abstract


ISBN 978-85-64593-74-9