Exportar registro bibliográfico

Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística (2012)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021