Reasoning about a class of linear systems of equations in hol.

• Grant number: 94/02594-2
• Support Opportunities: Research Grants - Meeting - Abroad
• Start date: September 19, 1994
• End date: September 22, 1994
• Field of knowledge: Engineering - Electrical Engineering
• Principal Investigator: Catia Marcondes Angelo
• Grantee: Catia Marcondes Angelo
• Host Institution: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brazil