
INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
Author(s) -
Jefferson de Barros Santos
Publication year - 2015
Language(s) - Portuguese
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.16318
Subject(s) - computer science