PROGRAMME VON spreadsmart.sf.net

Das Ziel dieses Projekts ist es, eine Anwendung zu erstellen, die die Funktionalität eines deduktiven Argumentationssystems in eine Tabellenschnittstelle einbettet.