比较三段论论证
comparative syllogism argument
并行计算论题
parallel computation thesis
船型论证及投资效益
Ship module and Investment benefit
代数不变式论
theory of algebraic invariants
多项式定时邱池-杜林论题
polynomial-time Church-Turing thesis
分型论治
syndrome differentiation and treatment