%0 Generic %D 2003 %T A Formal Approach to Problem Solving %A Batens, Diderik %E Delrieux, Claudio %E Legris, Javier %B Computer Modeling of Scientific Reasoning %I Universidad Nacional Del Sur. EDIUNS %C Bahia Blanca, Argentinia %P 15–26 %G eng