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, release warrant, community singing, ydinlaitos, suhteuttaa, beserk