Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Information technology containing theorem | all forms | exact matches only
EnglishChinese
automatic theorem proving自动定理证明
fundamental theorem of algebra代数基本定理
machine theorem proving机器定理证明
mechanical theorem proving机器定理证明
theorem prover定理证明器

Get short URL