Firstly, we construct the system KA of knowing agents, give some results of its proof theory.

首先，我们构造知道主体的系统KA，给出它的一些证明论结果。

youdao

The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.

数学命题的证明步骤是由已知条件逐步推演形成的系统。

youdao

The key issues to construct the system lie in the design of software framework, databases, functions and security, etc.

设计和实现该系统的关键点在于系统的软件架构、数据库设计、系统功能以及系统的安全性设计等。

youdao

Even if Mr. Clinton does make that decision later this year, it will take at least five years to construct the limited missile defense system in Alaska that he appears to espouse.

CENTERFORSECURITYPOLICY: The Coalition to Protect Americans Now

As the House of Representatives tore apart Hank Paulson's construct to re-liquefy our banking system, the phrase "bailout" wasn't descriptive enough, just a copy editor's splash headline.

FORBES: Magazine Article

Researchers would construct the path that would force the U.S. healthcare system to get right with history.

FORBES: Obamacare, And The Government's Cruel War On Innovation