Deductive systems and the decidability problem for hybrid logics
Auteur :
Zawidzki, Michal
Éditeur :
Uniwersytet Jagiellonski, Wydawnictwo
ISBN :
9788323336952
Date de publication :
8 mai 2015
Dimensions :
23,9 x 16,9 x 1,4 cm
Poids :
398 g
Langue :
Anglais
Pays d'origine :
Pologne