TY - Generic T1 - A Formal Approach to Problem Solving Y1 - 2003 A1 - Batens, Diderik ED - Delrieux, Claudio ED - Legris, Javier JA - Computer Modeling of Scientific Reasoning PB - Universidad Nacional Del Sur. EDIUNS CY - Bahia Blanca, Argentinia SP - 15–26 ER -