...
机译:命题类的多项式证书
Tufts Univ, Dept Comp Sci, Medford, MA 02155 USA;
Columbia Univ, Ctr Computat Learning Syst, New York, NY 10115 USA;
Leydig Voit & Mayer Ltd, Kyoto 60601, Japan;
Columbia Univ, Dept Comp Sci, New York, NY 10027 USA;
HORN EXPRESSIONS; CONJUNCTIONS; ENTAILMENT; QUERIES;
机译:使用经典正交多项式的有限类的傅立叶变换的两类特殊函数
机译:不同类别距离关键节点问题的多项式和伪多项式时间算法
机译:多项式圆环的多项式方程和自由基类别
机译:命题课程的多项式证书
机译:Reidemeister扭转,扭曲的亚历山大多项式,A多项式以及某些类结的彩色琼斯多项式。
机译:某些死亡证书类别的可靠性
机译:命题类的多项式证书