Diskussion:Automatisches Problemlösen
Letzter Kommentar: vor 16 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)