Хорнови цели ,хорнови клаузи , хорнови програми

Това е само предварителен преглед!

Хорнова цел (за краткост цел) ще наричаме всяка крайна редица от атомарни формули (вкл. едночленните редици и празната редица).

Изтегли

Този сайт използва бисквитки, за да функционира коректно
Ние и нашите доставчици на услуги използваме бисквитки (cookies)