ACL2 es un demostrador automático de teoremas que asiste al usuario en dicha tarea

ACL2 es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas...

ACL2 es un demostrador automático de teoremas que asiste al usuario en dicha tarea

0

Instalar Huayra manteniendo tu otro sistema operativo.

Ahora podés probar Huayra GNU/Linux en tu PC o netbook sin tener que instalar nada ni cambiar o borrar tus archivos o programas. ¿Cómo?...

Instalar Huayra manteniendo tu otro sistema operativo.

0

Las aplicaciones usadas en Lihuen.

En esta sección del manual mostramos de qué aplicaciones que Lihuen trae instaladas por defecto podemos utilizar para realizar aquellas func...

Las aplicaciones usadas en Lihuen.

0

Importar o exportar imágenes en Lihuen con TuxPaint.

Lihuen cuenta con una versión modificada de la herramienta TuxPaint -config que permite importar imágenes externas, por ejemplo desde un pen...

Importar o exportar imágenes en Lihuen con TuxPaint.

0

Lihuen distribución GNU/Linux de la Facultad de Informática de la Universidad Nacional de La Plata, basada en Debian.

Lihuen es la distribución GNU/Linux de la Facultad de Informática de la Universidad Nacional de La Plata , está basada en Debian una dist...

Lihuen distribución GNU/Linux de la Facultad de Informática de la Universidad Nacional de La Plata, basada en Debian.

0

Guía de Celestia: los botones del ratón y la navegación.

Botones del ratón. Hay otro modo de seleccionar planetas. A los ocho (8) planetas de nuestro Sistema Solar se le han dado números del 1 pa...

Guía de Celestia: los botones del ratón y la navegación.

0

Guía de Celestia: la belleza es su precisión

Para lanzar Celestia , haga un doble-clic sobre su icono en su escritorio o haga un solo clic en el menú Programas que aparece cuando pulsa...

Guía de Celestia: la belleza es su precisión

0