Ir al contenido

Documat


Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados

  • Autores: María Antonia Huertas Sánchez Árbol académico, María Gracia Manzano Arjona Árbol académico, Gustavo Santos García
  • Localización: Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.) Árbol académico, Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 486-490
  • Idioma: inglés
  • Texto completo no disponible (Saber más ...)

Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno