TEXTO
[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
[pt] UM AMBIENTE DE PROGRAMAÇÃO LÓGICA SUPORTADO POR UM PROVADOR SEMÂNTICO
Autor
ALBERTO JOSE FONSECA ADEODATO
[pt] UM AMBIENTE DE PROGRAMAÇÃO LÓGICA SUPORTADO POR UM PROVADOR SEMÂNTICO