退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:普通逻辑程序的部分正确性和弱完整性的证明方法
Ferrand Gérard; Deransart Pierre;
机译:使用证明方案的逻辑程序的正确性
机译:线性逻辑证明结构的正确性是NL完全的
机译:VPHL:概率程序的经过验证的部分正确性逻辑
机译:证明正常程序的正确性和完整性?声明性方法
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:轻仿射逻辑(证明网,编程符号,p时间正确性 和完整性)
机译:pc-紧凑性,是存在部分正确性的声音和完整逻辑的必要条件
机译:能够在部分或完全重新配置期间保留状态数据的可编程逻辑设备
机译:能够在部分或完全重新配置期间保留用户数据的可编程逻辑设备
机译:编码程序和计算机程序产品的方法,装置和程序,以及用于计划路径的程序和计算机程序产品,其中路径分别包含完整表面上移动单元的部分路径
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。