RUS
ENG
Ïîëíàÿ âåðñèÿ
ÆÓÐÍÀËÛ
// ACM Transactions on Computational Logic
©
ÌÈÀÍ
, 2025
