Un método de Tableaux para la lógica dinámica proposicional
Editorial: Universidade do Minho
Ano de publicación: 1987
Volume: 3
Páxinas: 382-387
Congreso: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)
Tipo: Achega congreso
Editorial: Universidade do Minho
Ano de publicación: 1987
Volume: 3
Páxinas: 382-387
Congreso: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)
Tipo: Achega congreso