![]() |
German | English |
a-priori-Theorem | antecedent theorem |
Bayessches Theorem | Bayes decision rule |
Bayessches Theorem | Bayes rule |
Bayessches Theorem | Bayes decision method |
Church-Gödel-Theorem | Church-Gödel theorem (Berechnungskomplexität) |
Church-Rosser-Theorem | Church-Rosser theorem (Lambda-Kalkül) |
Gold-Theorem | Gold's theorem |
Gold-Theorem | Gold theorem |
Hart-Nilsson-Raphael-Theorem | Hart-Nilsson-Raphael theorem (bei der heuristischen Suche) |
Herbrand-Theorem | Herbrand theorem (beim Theorembeweisen) |
Maschine zum Beweisen geometrischer Theoreme | geometry theorem-proving machine |
Theorem der positiven Normalform | positive normal-form theorem |
Theorem der Strukturgewinnung aus der Bewegung | structure-from-motion theorem |
Theorem von Gold | Gold's theorem (grammatische Inferenz) |
Theorem von Gold | Gold theorem (grammatische Inferenz) |