Anuncio publicitario
Escritorio lógico
Logical Desktop es un entorno de escritorio para GNU / Linux que es diferente. ...
Calendario hebreo
Calendario hebreo es una clase GTK que muestra las fechas y los días festivos hebreos y su fecha de Gregorian correspondiente. ...
calendario Calendario hebreo Fechas hebreas fiestas hebreas hebreo
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
Editor hebreo
permite a los usuarios de habla hebrea crear y editar documentos de látex hebreo / inglés. ...
texto palabra Documentos de látex hebreo procesamiento de textos
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
DateTime :: Calendario :: Hebreo
DateTime :: Calendar :: Hebrew es un módulo Perl con fechas en el calendario hebreo. ...
calendario Módulo perl Calendario hebreo Fechas hebreas hebreo
Diccionario de control de hechizos hebreo (de hspell)
Diccionario de control de hechizos para Firefox y Thunderbird ...
diccionario hebreo Thunderbird Dictionary Diccionario de control de hechizos Ortografía hebrea
Lingua :: IW :: lógico
Un módulo para trabajar con hebreo lógico y visual ...