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 networks
EFFICIENT ALGORITHMS FOR CLAUSE-LEARNING SAT SOLVERS
Disjunctive Interpolants for Horn-Clause Verification
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
Disjunctive Interpolants for Horn-Clause Verification
An optimality result for clause form translation ☆
Boosting trees for clause splitting
System for interactive clause window construction of SQL queries
A restriction of extended resolution for clause learning sat solvers
A Search Technique for Clause Interconnectivity Graphs