BOOLEAN UNIFICATION - THE STORY SO FAR

被引:45
|
作者
MARTIN, U [1 ]
NIPKOW, T [1 ]
机构
[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139
关键词
D O I
10.1016/S0747-7171(89)80013-6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:275 / 293
页数:19
相关论文
共 50 条