bn:21840907n
Noun Concept
EN
No term available
CS
SLG rezoluce je v logice rozšířená rezoluce konvergující pro všechny logické programy s negací operující na uzavřených literálech. Wikipedia
Relations
Sources