Exportar registro bibliográfico

Planning natural language explanations in natural deduction based systems (1994)


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