方佳结
【姓名】 方佳结
【职称】
【研究领域】 无线电电子学;
【研究方向】
【发表文献关键词】 形式验证,自动定理证明,逻辑设计,功能扩大,逻辑模拟,归结原理,模拟方法,表达式,子句,静态分析,电路结构,模拟信号,技术研究所,传统方法,公理,数字电路,布尔环,等价,引理,重写规则,
【工作单位】 复旦大学
【曾工作单位】 复旦大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 1 0 25
中国期刊全文数据库    共找到1篇
[1]方佳结,章开和,唐璞山.基于重写规则法的形式验证技术[J]固体电子学研究与进展.1988,(04)
更多