Author Details

Sanchez-Mazas, Miguel

  • Vol 30, No 120 (1987) - Articles
    Une nouvelle méthode de décision. Identification et analyse des classes d'équivalence de la logique modale par des invariants numériques
    Abstract  PDF