判定程序

[pàn dìng chéng xù]

• decision procedure

参考释义

判定程序

• -