Advertentie
Logische redener
Logische redener is een theoret-bewering voor eerst-orde logica met gelijkheid. ...
calculus Theorem Prover formule representatie subsumptieresolutie stelling
Isabelle
Isabelle is een populaire generieke THEOREM-PROVER ontwikkeld bij Cambridge University en TU München. ...
assistent bewijs Theorem Prover wiskundige formules proefassistent
Pythagoras Theorem voor Firefox
Bereken eenvoudig de zijkanten van rechterhoekige driehoeken met deze herstartloze add-on voor Firefox ...