Programas por spreadsmart.sf.net

El objetivo de este proyecto es crear una aplicación que incorpore la funcionalidad de un sistema de razonamiento deductivo en una interfaz de hoja de cálculo.