Propaganda
Desktop lógico
Desktop lógico é um ambiente de desktop para GNU / Linux que é diferente. ...
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
Gerenciamento de volume lógico Linux Howto
Linux Logical Volume Management Como descrevendo o Linux Logical Volume Management. ...
MATPLC.
MATPLC é um PLC baseado em software para automação industrial. ...
programável PLC baseado em software lógico programável Controlador lógico MatPLC
Conclusão programável Bash.
Um intérprete de linguagem de comando para computadores modernos. ...
bash Conclusão. Conclusão de Bash. programável Conclusão programável
Lingua :: iw :: lógico
um módulo para trabalhar com hebraico lógico e visual ...