Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Aplicaciones :: Comentario Software
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   09-02-2007
*Título   Comentario a "Tableau III" de Nik Roberts
*Autor   Almudena Vicente
*Fecha de creación   09-02-2007
Página Web   http://logic.philosophy.ox.ac.uk/tableau3/applet.htm
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de tableux semánticos
Lógica de primer orden
Lógica proposicional
Tipo Título Archivo Opciones
Resumen Presentación en .ppt TableauIII.pdf
Documento Comentario a "Tableau III" InformeLogica_TableauIII.pdf

     << Atras