Advertentie
at-spi
AT-SPI is het GNOME-toegankelijkheidsproject. ...
GNOME Gnome-bibliotheek GNOME-widget GNOME Toegankelijkheid Toegankelijkheid
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. ...
Proverif Editor
Protocollen controleren en bewerken die zijn opgegeven in SPI-CALCULUS ...
editor Controleer de protocollen Protocollen-editor SPI Calculus Spreekwoord