Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Sistemas Lógicos :: Lógica Heterogénea y Parcial
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   08-02-2007
*Título   Una introducción a la lógica lineal y comentario al software "llprover" de Naoyuki Tamura
*Autor   Aníbal Chehayeb
*Fecha de creación   01-02-2007
Página Web   http://bach.istc.kobe-u.ac.jp/llprover/
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de secuentes
Lógica lineal
Tipo Título Archivo Opciones
Resumen Presentación en .ppt de "llprover" Una_introducción_a_la_Lógica_Lineal.ppt
Documento Lógica lineal Lógica_Lineal.pdf

     << Atras