File navigator
| Name | Type | Size |
|---|---|---|
| ФМИ ЛП 2018-2019 - Лекции.pdf | File: PDF | 8.10 MiB |
| ФМИ ЛП 2018-2019 - Упражнения.pdf | File: PDF | 2.76 MiB |
This directory's description is written in Bulgarian.
Логическо програмиране
Зимен семестър 2018-2019
Вж. също тази система за предикатна резолюция и тази Google Drive папка.
Препоръчана литература
- Anil Nerode, Richard Shore - Logic for Applications