关注微信公众号查券更方便
机器证明：公理集论及分析基础的形式化
形式化构件装配的领域算法构造
形式化框架下置换和查找类算法的组装生成
几何代数的形式化与初步应用
形式化方法导论
【全新正版】形式化构件装配的领域算法构造 科学出版社 9787030668783 形式化构件装配的领域算法构造 形式化构件装配的领域算法构造
【京东优选】形式化方法导论 第2版大中专文科社科综合张广泉 编 形式化方法导论（第2版）
软件工程形式化方法与语言
语言形式化原理
矩阵结构与矩阵函数的形式化
概念变体及其形式化描写
语用寓义推理形式化研究
【全新正版】语用寓义推理形式化研究 科学出版社 9787030704078 语用寓义推理形式化研究 语用寓义推理形式化研究
形式化方法 理论及应用
形式化框架下置换和查找类算法的组装生成【全新正版】
