Opublikowano w
Czasopismo: ACM Transactions on Computational Logic
Rok
2017
Punktacja Ministerstwa
40
Impact Factor
0,731