Afleidingsregel
Naar navigatie springen
Naar zoeken springen
Naam | Afleidingsregel |
---|---|
Definitie | Een geheel deterministisch algoritme voor het uitrekenen van een (“afgeleid”) feit op basis van andere (zowel originele als afgeleide) feiten. |
Toelichting |
|
Voorbeeld |
|
Synoniemen | Afleidingsregels |
Bron |