Propaganda
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
App :: Prove :: Plugin :: Distribuído
para distribuir o trabalho de teste usando o modelo de cliente e servidor ...