Hornova klauzule: Porovnání verzí

Přidáno 18 bajtů ,  před 16 lety
m
robot přidal: hu
m (Zamenil jsem si pri prekladu vyrokovou a predikatovou logiku :-()
m (robot přidal: hu)
[[Kategorie:Matematika]]
 
[[en:Horn clause]]
[[de:Horn-Formel]]
[[en:Horn clause]]
[[es:Cláusula de Horn]]
[[fr:Clause de Horn]]
[[hu:Horn-klóz]]
[[pl:Klauzula Horna]]
27 792

editací