ئاپتوماتىك خۇلاسىلەش

ئۇنىۋېرسال 自动推理 zì dòng tuī lǐ