...
机译:用于局部可描述集合的简单双效率交互式证明系统
机译:用于局部可描述集合的简单双效率交互式证明系统
机译:关于双效率交互式证明系统
机译:记忆式交互式证明和零知识证明系统
机译:Click'n Prove:集合论中的交互式证明
机译:交互式可视化系统的开发和概念验证,用于线性点数据的时空分析。
机译:与无序纳米结构表面相互作用的生物系统的拉曼映射:单一DNA碱基的无标签分析的简单且强大的方法
机译:抗缠绕双证明交互式证明系统和 非自适应私人信息检索系统
机译:ada编译器验证摘要报告。证书编号:910705s1.11191,InteraCT Corporation InteraCT ada 1750a编译系统,3.5版,microVaX 3100群集=> InteraCT mIL-sTD-1750a指令集架构模拟器,2.3版(裸mac)