| slovo | definícia |
sld resolution
(foldoc) | SLD resolution
(Selected, Linear, Definite) {Linear
resolution} with a selection function for {definite
sentences}.
A definite sentence has exactly one positive literal in each
clause and this literal is selected to be resolved upon,
i.e. replaced in the goal clause by the conjunction of
negative literals which form the body of the clause.
[Why is SLD resolution important?]
(2003-12-04)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4