1) interactive theorem prover
交互式定理证明器
2) interactive proof
交互式证明
3) theorem prover
定理证明器
1.
This issue account for how to realize a vacuum cleaner Agent using Java through the medium of introducing the theorem prover.
通过介绍定理证明器方法,说明如何用JAVA语言实现一个真空吸尘器Agent。
4) non-interactive knowledge proof
非交互式知识证明
5) non-interactive zero-knowledge proof
非交互式零知识证明
1.
The protocol,based on optimistic approach,uses convertible signature scheme and non-interactive zero-knowledge proof to achieve efficient transparent TTP.
该协议基于乐观模型,使用了可转化签名和非交互式零知识证明等技术。
6) interactive zero-knowledge
交互式零知识证明
补充资料：交互
①互相：教师宣布答案之后，就让同学们～批改。②替换着：他两手～地抓住野藤，向山顶上爬。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条