Бібліографічний опис для цитування:
Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / С. С. Шкільняк // Наукові записки НаУКМА. Комп'ютерні науки. - 2012. - Т. 138. - С. 23-29. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2012_138_6.Відділ інформаційно-комунікаційних технологій |
Пам`ятка користувача |
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |