Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
|
|
| Creator |
Шкільняк, Степан
|
|
| Date |
2014-03-20T11:42:50Z
2014-03-20T11:42:50Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Шкільняк, Степан Степанович. Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.
http://www.ekmair.ukma.edu.ua/handle/123456789/2888 |
|
| Language |
ua
|
|
| Relation |
Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.
|
|