自动定理验证程序的日文

じどうていりしょうめいプログラム

• 自动定理验证:    じどうていりしょうめい
• 用户保密验证程序:    ユーザきみつほごけんしょうルーチンユ ...
• 反证程序系统:    はんばくしょうめいてじゅんばく