证书 – phrases

Terms for subject Artificial intelligence containing 证书 | all forms

Chinese	English
人脸验证	human face verification
"信用证顾问"专家系统	letter of credit advisor
关于证据的不确定性	uncertainty about evidence
几何定理机器证明	mechanical theorem proving in geometry
几何定理证明程序	geometry theorem prover
反交叉验证	anti-cross validation
可接受的论证	acceptable argument
可采纳的论证	admissible argument
合成源代码的验证	verification of synthesized code
定理证明系统	Theorem Proving System
Boyer-Moore 定理证明系统	Boyer-Moore theorem prover
总体证实错误	Total Verification Error
攻击论证	attacker argument
无冲突论证	conflict-free argument
求证	proof finding
演绎验证	deductive verification
经济论证	cost justification
论证中的击败	defeat between arguments
论证中的削弱	undercutting in argument
论证之间的攻击	attack between argument
论证类	argument class
证据因子	evidence
证据推理	evidential reasoning
证据推理融合	evidence reasoning fusion
证据理论	Dempster-Shafer theory of evidence D-S
证明查找程序	proof finding program
负面证据	negative evidence
重言式论证	tautological argument
非平凡论证	non-trivial argument
非归结定理证明	nonresolution theorem proving
验证期创造性过程中的一个假设性阶段	verification
验证树	verification tree