Hakuluettelo:
Käännös:
paramodulation (suomeksi)
- Määritelmät:
- (lb, en, logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Viimeisimmät haut: paramodulation, superstrengths, Rosicrucianist, repulsor beams, metal carbonyl, take control