Sistema dedutivo de resolução geralizado
Uma ferramenta simples para testar a teoria sobre sistemas dedutivos da lógica predicado ...
527 KB
Uma ferramenta simples para testar a teoria sobre sistemas dedutivos da lógica predicado ...
527 KB
ferramenta de análise de metilação específica de locus ou genoma ...
2 KB
Um desenhador de circuito digital fácil de usar, com base em Java ...
3.5 MB
Converta de arquivos PDF, DWF, HPGL, TIFF e BMP para o formato DWG / DXF. ...
87.4MB
Sobre nós