Un método de Tableaux para la lógica dinámica proposicional

  1. Leach, Javier
Buch:
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

Verlag: Universidade do Minho

Datum der Publikation: 1987

Ausgabe: 3

Seiten: 382-387

Kongress: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet