Browsing (1989) Volumen 04. Número 11 by Title
Now showing items 9-9 of 9
-
Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1989)...