eKMAIR
Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
- Головна сторінка eKMAIR
- →
- Видання НаУКМА
- →
- Наукові записки НаУКМА
- →
- Т. 151: Комп'ютерні науки
- →
- Перегляд матеріалів
JavaScript is disabled for your browser. Some features of this site may not work without it.
