Exportar registro bibliográfico

Planning natural language explanation in natural deduction based systems (1993)


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