Литерал (математичка логика) — странице које воде овамо
Приказује се 7 ставки.
- САТ проблем (← везе | уреди)
- Конјунктивна нормална форма (← везе | уреди)
- Литерал (логика) (преусмерење) (← везе | уреди)
- Литерал (преусмерење) (← везе | уреди)
- Принудно логичко програмирање (← везе | уреди)
- Индуктивно логичко програмирање (← везе | уреди)
- Даталог (← везе | уреди)