基于高阶逻辑λ演算的假设交互式定理证明器的策略演算:类型化操作语义的战术演算

0 下载量 79 浏览量 更新于2024-01-09 收藏 688KB PDF 举报
身份认证 购VIP最低享 7 折!
30元优惠券