File explorer

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