for clause
英：[fɔ: klɔ:z] 美： [fɔr klɔz]
for clause 基本解释
释义[计] 循环子句；
for clause 相关例句
权威例句
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksEFFICIENT ALGORITHMS FOR CLAUSE-LEARNING SAT SOLVERSDisjunctive Interpolants for Horn-Clause VerificationDisjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)Disjunctive Interpolants for Horn-Clause VerificationAn optimality result for clause form translation ☆Boosting trees for clause splittingSystem for interactive clause window construction of SQL queriesA restriction of extended resolution for clause learning sat solversA Search Technique for Clause Interconnectivity Graphs
