机译:基于可计算性逻辑的应用理论
Computability logic; Constructive logics; Game semantics; Peano arithmetic;
机译:基于可计算性逻辑的应用理论
机译:TorbenBraüner,《混合逻辑及其证明理论》,《应用逻辑》第37卷,施普林格,2011年,第XIII + 231页。书号:978-94-007-0001-7(精装)99,95欧元,书号:978-94-007-0002-4(电子书)99,99欧元
机译:基于或逻辑结构的单轨MOS电流模式逻辑标准单元的近阈值计算
机译:高阶逻辑的基础,组合(Co)数据类型:应用于定理证明的类别理论
机译:IDPAL-绝热节能逻辑家族:安全计算的理论与应用。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:基于混沌函数的应用密码学在普适计算中基于快速数字逻辑的系统
机译:利用概率布尔逻辑应用于CmOs组件的JpEG压缩算法实现的不精确计算演示。