退出
我的积分:
中文文献批量获取
外文文献批量获取
张昱; 陈意云; 李兆鹏;
中国科学技术大学计算机科学与技术学院 合肥230026;
中国科学技术大学苏州研究院软件安全实验室 江苏 苏州 215123;
中国计算机学会;
形状图逻辑; 形状分析; 程序验证; 自动定理证明; 循环不变式的推断;
机译:通过整合形状分析和交互式定理证明来验证B〜+树
机译:欧拉图系统中的自动定理证明
机译:带有可满足模理论求解器的多值逻辑的自动定理证明
机译:B〜+树的验证:结合形状分析和交互式定理证明的实验
机译:走向图案绘制的三维理论:人体尺寸和形状与图案尺寸和形状的关系。
机译:形状的力量:节点链接图的形状如何影响美学欣赏并激发兴趣
机译:B +树的验证:结合形状分析和交互式定理证明的实验
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:外部形状计算系统,外部形状计算方法,外部形状计算程序,具有存储在其中的外部形状计算程序的存储介质,场图生成系统,场图生成程序,存储场存储场和存储场场图生成方法
机译:方法,系统,算法和手段,用于描述实际和理论蛋白质的可能构象,以及评估关于折叠,总体形状和结构基序的实际和理论蛋白质
机译:方法,系统,算法和手段,用于描述实际和理论上的蛋白质的可能构象,以及评估关于折叠,整体形状和结构运动的实际和理论上的蛋白质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。