plural of nonscorer

plural of turnip-cabbage

A laser that operates by analogy with an electronic waterfall, with electrons cascading down a series of small steps emitting a photon at each step.

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.