Wissenschaftstheorie, computationale

==> Wissenschaftstheorie

==> Heuristik

==> Algorithmus

==> Beweisen, automatisches