海词手机词典

The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau method proposed by Beth (1959) and Hintikka (1955) was introduced to ATP by AI researcher later. Tableau method is virtually show binary relation in semantic structure.

播放读音 播放读音

以上内容独家创作,受著作权保护,侵权必究

海词词典,十七年品牌