东北大学学报（自然科学版）
带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计
张维廉
-
-
东北大学学报:自然科学版 . 1982, (3): 67 -74 .  DOI: -