Diskussion:Automatisches Problemlösen
Letzter Kommentar: vor 15 Jahren von AlfonsGeser in Abschnitt Unterschied?
Unterschied?[Quelltext bearbeiten]
Was ist eigentlich der Unterschied zwischen dem automatischen Problemlösen und dem automatischen Beweisen? --AlfonsGeser 21:19, 12. Jun. 2008 (CEST)