Шкільняк О.С.
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
Автор: Шкільняк О.С. Вид автора: персона
Мова: Українська Обсяг: с.17-28
УДК: 510.69
Є складовою частиною документа: Проблеми програмування
| | Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| | Дата видання документа, в якому знаходиться дана частина: | 2011 |
| | Номер головного документа: | №1 |
Теми документа
|