turnip-cabbages
plural of turnip-cabbage
(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
plural of nonscorer
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.
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★