Запис Детальніше

Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів

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.