Файловое хранилище

root / csd / 4 курс / ГОСы / 2. деление по предметам / С3 Математическая логика
Логика 1-го порядка. Выполнимость и общезначимость. Общая схема метода резолюций.pdf
481.6 KB
10 сент. 2025 г., 12:58
Просмотр Скачать
Логическое программирование. Декларативная семантика и операционная семантика ... .pdf
335.7 KB
10 сент. 2025 г., 12:58
Просмотр Скачать