Advertentie
Logische desktop
Logical Desktop is een desktop-omgeving voor GNU / Linux die anders is. ...
Tclp
TCLP is een typecontroleur voor prolog-dialecten. ...
checker type Type Checker Prolog dialecten Beperking logische programmering
Bio :: Beperking :: Enzyme
BIO :: Beperking :: Enzyme is een enkele restrictie-endonuclease (snijdt DNA op specifieke locaties). ...
Perl-module bio restrictie-enzym restrictie-endonuclease Beperking
Bio :: Beperking :: IO :: Prototype
PROTOTYPE ENZYME SET ...
Logische redener
Logische redener is een theoret-bewering voor eerst-orde logica met gelijkheid. ...
calculus Theorem Prover formule representatie subsumptieresolutie stelling
Gratis logische vorm
Gratis logische vorm is een systeem voor het genereren van logische vormen van Engelse zinnen. ...
Proactieve programmering
Proactieve programmering is een raster Java-bibliotheek voor parallelle, gedistribueerde en gelijktijdige computing. ...
Online logische games
toegang tot talloze online puzzelgames met deze add-on voor Mozilla Firefox ...
Logische games
Speel logische games online met deze opnieuw opstartende add-on voor Mozilla Firefox ...
Online logische puzzels
Speel logische puzzelspellen online met deze herstartloze add-on voor Mozilla Firefox ...