ประโยคภาษาจีน : 中文句子 |
---|
dìng lǐ 定理 jī qì 机器 zhèng míng 证明 de 的 yán jiū 研究 yǐ yǒu 已有 jiāng jìn 将近 nián de lì shǐ 年的历史 bìng 并 yǐ jīng 已经 zài 在 shù lǐ luó jí 数理逻辑 chū děng 初等 dài shù hé 代数和 jǐ hé xué 几何学 děng 等 xué kē 学科 qǔ dé 取得 xiǎn zhù 显著 chéng gōng 成功 |
There has been a lot of success in the study of automated theorem proving during the past 50 years. |