Цахим шуудангийн бүртгэл: Diagnosis basada en modelos polinómicos usando técnicas simbólicas