Propaganda
vdec.
VDEC é uma biblioteca de cálculo externo e geometria. ...
em processamento Geometria Cálculo exterior. biblioteca de processamento de geometria Simulação de geometria
Petitlamambda.
Petitlamambda é um intérprete do Cálculo de Lambda. ...
intérprete cálculo Cálculo de lambda. intérprete lambda. termos lambda
TK :: Image :: Cálculo
TK :: Cálculo é uma extensão Perl para cálculos gráficos. ...
Raciocínio lógico
Logic Railer é um provador de teoremas para a lógica de primeira ordem com igualdade. ...
cálculo Prover de Teorema Representação de fórmulas resolução subsunção teorema
Cálculo do cálculo do evento discreto
Discrete Event Calculus Racalioner é um programa de código aberto para realizar o raciocínio automatizado de commissenses. ...
evento cálculo commonsense Raciocínio Discreto Cálculo do evento.
Módulo de cálculo Python Lambda
Python Lambda Calculus Modulus Project é um módulo simples, mas completo para explorar o Cálculo de Lambda. ...
Lambda.
Lambda Project é um intérprete de cálculo lambda. ...
intérprete cálculo lambda. intérprete de cálculo expressões lambda.
Ferramentas de kogame.
O pacote Kogame Tools contém um Utilitários Ogame Cálculo para KDE Desktop. ...
utilitários jogo Ogame cálculo Ogame Calculus. Utilitários de cálculo
Coq.
Um sistema formal de gerenciamento de prova ...
gestão cálculo prova Prova Assistant. gerenciamento de prova
Symia.
Uma biblioteca C ++ para executar tarefas de cálculo simbólico ...
Biblioteca C++ cálculo computação computação simbólica simbólico