El cuadro de Chat se encontrará en la parte Superior para no obstaculizar la información del sitio
Reglas de la SALA: Al usar la Sala te pedimos que cambies tu nombre, das clic en tu nombre, en la ventana que se abre lo borras y escribes el tuyo. Te invitamos a participar dentro del portal registrandote y publicando tu material para compartir con los miembros del portal. Para registrarte haz clic Aqui


Get your own Chat Box! Go Large!

Inicio

Isabelle

Lun, 08/10/2009 - 13:25 — Radaid

Isabelle es un programa para la aplicacion de fórmulas matemáticas que permite que se expresen en un lenguaje formal, proporcionando herramientas para probar en las fórmulas de una lógica de cálculo. Isabelle se desarrolla en la Universidad de Cambridge (Larry Paulson) y la Technische Universität München (Tobias Nipkow).

Isabelle screenshot
Licencia: 
GLP/GNU
Idiomas: 
Inglés
Sitio Web: 
Isabelle Home Page
Descargar: 
Isabelle - Download
Bookmark/Search this post with:
  • Delicious
  • Digg
  • Furl
  • Facebook
  • Google
  • Yahoo
  • Technorati
Su voto: Nada
  • Versión para impresora
  • Enviar a un amigo

Comentarios

Enviar nuevo comentario

El contenido de este campo se mantiene como privado y no se muestra públicamente.
CAPTCHA
Este recuadro es para verificar si ud. es un ser humano o un robot, así como para prevenir el spam
CAPTCHA imagen
Copie los caracteres (respetando mayúsculas y minúsculas) de la imagen.