Exportar registro bibliográfico

Planning explanations from natural deduction based reasoning (1992)


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