К ЗАДАЧЕ НЕПРОТИВОРЕЧИВОСТИ
PDF

Як цитувати

Борисенко , А. (2021). К ЗАДАЧЕ НЕПРОТИВОРЕЧИВОСТИ. Збірник наукових праць ΛΌГOΣ. https://doi.org/10.36074/logos-11.06.2021.v1.35
https://doi.org/10.36074/logos-11.06.2021.v1.35
PDF

Посилання

Семенов А. А., Заикин О. С. (2012). Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач. Серия Математика. (5, 4), 79—94.

Борисенко А. А. (2020). Компьютерная логика. Основы теории: Сумы: Університетська книга.

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Завантаження

Дані завантаження ще не доступні.

| Переглядів: 35 | Завантажень: 10 |