Логическо програмиране
Вж. също тази система за предикатна резолюция и тази Google Drive папка.Препоръчана литература:
- A. Nerode, R. Shore - Logic For Applications
Name | Type | Size | Modified |
---|---|---|---|
ФМИ ЛП 2018-2019 - Лекции.pdf | File: PDF | 11.68 MiB | Sat, 30 Sep 2023 03:28:13 GMT |
ФМИ ЛП 2018-2019 - Упражнения.pdf | File: PDF | 4.03 MiB | Sat, 30 Sep 2023 03:28:13 GMT |