Search
Now showing items 1-1 of 1
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)