File explorer
| Name | Type | Size |
|---|---|---|
| ФМИ ЛП 2018-2019 - Лекции.pdf | File: PDF | 11.68 MiB |
| ФМИ ЛП 2018-2019 - Упражнения.pdf | File: PDF | 4.03 MiB |
Unless stated or implied otherwise, the content in this directory is licensed under CC0; i.e. it has no restrictions on its modification and redistribution.
This directory's description is written in Bulgarian.
Логическо програмиране
Зимен семестър 2018-2019
Вж. също тази система за предикатна резолюция и тази Google Drive папка.
Препоръчана литература:
- Anil Nerode, Richard Shore - Logic for Applications