本文从理论上剖析了现行运动训练理论对“运动训练”定义的偏颇，并依据分析开发了“运动训练”的新定义。
The paper theoretically analyses the defects of the definition of sports training in the sport training theory today, it develops a new definition about "sport training" based on the analysis results.
本文从理论上和机制上对人工智能程序语言LISP与PROLOG进行了剖析和比较。
This paper gives some features in common and some differences of the two artificial intelligence programming languages LISP and PROLOG by the theory and by the mechanization.
应用推荐