...
机译:UL验证计划-适用于新型阻燃材料-
机译:UL验证计划 - 适用于新的阻燃材料 -
机译:内置代码的数学方法第2部分:程序证明:树区域逻辑和Dijkstra的程序验证方法
机译:全息技术在平视显示器上的应用:=全息技术的基本原理以及全息HUD的现状和实际应用问题=
机译:人工智能大型展览中心实时热源最优运行支持程序研究(第2次报告)详细信息和优化效果验证优化计划
机译:通信协议等价性的验证和错误恢复以及程序转换的研究
机译:定理证明效率的研究及其在逻辑程序验证中的应用