...
机译:关于双效率交互式证明系统
Weizmann Institute of Science, Israel;
机译:用于局部可描述集合的简单双效率交互式证明系统
机译:用于局部可描述集合的简单双效率交互式证明系统
机译:双重有效伪确定性证明
机译:计算t-候群:最坏情况到平均情况的减少和直接交互式证明系统
机译:交互式可视化系统的开发和概念验证,用于线性点数据的时空分析。
机译:用于轻度认知障碍的神经痛的照片 - 现实互动虚拟环境(Neurovrehab.pt):参与式设计和概念证明研究
机译:抗缠绕双证明交互式证明系统和 非自适应私人信息检索系统