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, debitages, nearby, empty nester, rhamnose, behemothian

Suosittuja sanoja: tapahtuma, röyhtäily, ammatti, been there, done that, aika, olla

Tietoa Suomi-englanti sanakirja © 2009-2025