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

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

Argitaletxea: Universidade do Minho

Argitalpen urtea: 1987

Alea: 3

Orrialdeak: 382-387

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet