Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Fundamentos :: Lógica Básica
*Depositado por   , e-mail:
*Depositado el   28-07-2005
*Título   "Tablas semánticas para lógica de predicados de primer orden"
*Autor   Ángel Nepomuceno
*Fecha de creación   30-10-2002
Página Web  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de tableux semánticos
Lógica de primer orden
Tipo Título Archivo Opciones
Documento "Tablas semánticas para lógica de predicados de primer orden" TablasSemanticas.pdf

     << Atras