BackSearch
Now showing items 1-2 of 2
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)
Le programme "Ars Judicandi"
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1986)