Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence

Thumbnail
Ver/
Fecha
1989
Autor
Sánchez-Mazas Ferlosio, Miguel
Metadatos
Mostrar el registro completo del ítem
  Estadisticas en RECOLECTA
(LA Referencia)

Theoria 4(11) : 491-513 (1989)
URI
http://hdl.handle.net/10810/40042
Colecciones