自动定理验证程序じどうていりしょうめい: 自动定理验证プログラム: (英) program 程序;(电算)处理手续;演奏节目表;纲领;计划しめいプログラム: 任务计划タスクしめいプログラム: 任务调度程序ちゅうかくしょきせっていプログラム: 核心（程序的）初始程序下载手机日语词典可随时随地查词查翻译
