罕米吞型式论  Hamiltonian formalism

巴科斯诺尔形式论  Backus-Naur formalism

比较三段论论证  comparative syllogism argument

并行计算论题  parallel computation thesis

波形式论  formalism; wave

抽象模型论  abstract model theory

船型论证  evaluation of shiptype; ship-type demonstration; ship form; ship’s fomulation; prime ship form

船型论证及投资效益  Ship module and Investment benefit

代数不变式论  theory of algebraic invariants

地质调查专题论文  GSPP

典论．论文  on literature

多项式定时邱池-杜林论题  polynomial-time Church-Turing thesis

二次方程式论  quadratics

方面论述  aspects

非正式论坛  chat forum

分歧类型论  ramified theory of types

分析论述  analysis and descriptio

分型论治  syndrome differentiation and treatment

分支类型论  ramified theory of types