Anuncio publicitario
Escritorio lógico
Logical Desktop es un entorno de escritorio para GNU / Linux que es diferente. ...
CPAN :: Cache
CPAN :: Cache es un módulo de Perl Resumen Local Local-Cached Subconamiento lógico de un espejo CPAN. ...
Módulo perl lógico Espejo de cinta subconjunto lógico subconjunto
Razonador lógico
El razonador lógico es un Prover Thorem para la lógica de primer orden con igualdad. ...
cálculo Prover de teorema representación de la fórmula resolución subsunción teorema
Administración de volumen lógico Linux HowTo
Linux Logical Volume Management HowTo está describiendo la administración de volumen lógico de Linux. ...
administración volumen lógico Volumen lógico Gestión del volumen
Lingua :: IW :: lógico
Un módulo para trabajar con hebreo lógico y visual ...