3rd International Congress on Sports Science and Computer Science In Sports

LIMA, MARIA JULIA DIAS, Universidade de Brasília, Brazil

• - Submissões gerais
  Formalização de Resultados Teóricos em Assistente de Provas
  Abstract
• - Submissões gerais
  Formalização de Resultados Metateóricos em Assistente de Provas: sintaxe e semântica da lógica multimodal
  Abstract