Advertentie
vdec
VDEC is een discrete externe calculus- en geometrie-verwerkingsbibliotheek. ...
verwerken Geometrie exterieur calculus Geometrie verwerking bibliotheek geometrie simulatie
Petitlambda
PetitLambda is een tolk van Lambda Calculus. ...
tolk calculus Lambda Calculus lambda-interpreter lambda-termen
Logische redener
Logische redener is een theoret-bewering voor eerst-orde logica met gelijkheid. ...
calculus Theorem Prover formule representatie subsumptieresolutie stelling
Discrete Event Calculus REDERIGER
Discrete Event Calculus-redener is een open source-programma voor het uitvoeren van geautomatiseerde commonsse-redenering. ...
evenement calculus commonsense Redeneren Discreet gebeurteniscalculus
Python Lambda Calculus-module
Python Lambda Calculus Module-project is een eenvoudige maar volledig uitgeruste module voor het verkennen van Lambda Calculus. ...
Lambda
Lambda-project is een tolk van Lambda Calculus. ...
tolk calculus lambda Calculus-interpreter lambda uitdrukkingen
Kogame-tools
Kogame Tools-pakket bevat een Ogame Calculus-hulpprogramma's voor KDE Desktop. ...
Spelhulpprogramma's Ogame calculus ogame calculus calculus utilities
Symia
Een C ++ -bibliotheek om symbolische calculustaken uit te voeren ...
C++-bibliotheek calculus berekening Symbolische berekening symbolisch