for clause

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