Stránky, které odkazují na Hornova klauzule
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Hornova klauzule.
Zobrazeno 9 položek.
- Prolog (programovací jazyk) (← odkazy | editovat)
- Klauzule (← odkazy | editovat)
- Robert Kowalski (← odkazy | editovat)
- Hornovské klauzule (přesměrování) (← odkazy | editovat)
- Splnitelnost (← odkazy | editovat)
- Rezoluce (logika) (← odkazy | editovat)
- Induktivní logické programování (← odkazy | editovat)
- Hornovy klauzule (přesměrování) (← odkazy | editovat)
- Datalog (← odkazy | editovat)