Présentation de l'auteur Michal Zawidzki :

Livres publiés jusqu'à présent par Michal Zawidzki :

Systèmes déductifs et problème de décidabilité pour les logiques hybrides - Deductive Systems and...
Ce livre se situe à l'intersection de deux sujets...
Systèmes déductifs et problème de décidabilité pour les logiques hybrides - Deductive Systems and the Decidability Problem for Hybrid Logics
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)