机译:高性能逻辑形式转换
Logic forms; WordNet; Tagging; Parsing;
机译:高性能逻辑形式转换
机译:发现存在多种表示同一模数变换的方式的东部四值(Catuskoti)逻辑定义模数变换的相关性的发现
机译:高性能工作系统对变革型领导和团队绩效的影响:调查组织方向的调节作用
机译:使用鲁棒固定点变换模糊逻辑控制器的性能增强
机译:自动将高级逻辑规范转换为高性能目标代码。
机译:钛酸氢纳米带向TiO2纳米带的转化及其转化策略对光催化性能的影响
机译:程序转换作为二进位逻辑的证明转换
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息