SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Logic Optimization: Redundancy Addition and Removal Using Implication Relations
计算机科学
冗余（工程）
理论计算机科学
操作系统
作者
Hideyuki Ichihara,
K. Kinoshita
出处
期刊：
IEICE Transactions on Information and Systems
[Institute of Electronics, Information and Communication Engineers]
日期：1998-07-25
卷期号：81 (7): 724-730
链接
ac.jp
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
活动
『应助活动周』获奖名单已公布 🔥
(2025-4-2)
更新
『中科院2025期刊分区』已更新
(2025-3-23)
更新
『即时热点』模块已上线
(2025-2-28)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
阳光念桃
完成签到，获得积分
10
1秒前
Jasper
的
应助
被
jahcenia
采纳，获得
10
2秒前
慌慌
完成签到
，获得积分
10
4秒前
SimonL
完成签到，获得积分
10
4秒前
酷波er
上传了
应助文件
4秒前
852
的
应助
被
潘润朗
采纳，获得
10
5秒前
bkagyin
的
应助
被
邹友亮
采纳，获得
10
5秒前
淡如江南水墨
完成签到，获得积分
10
7秒前
猪猪hero
的
应助
被
Nn
采纳，获得
10
7秒前
tramp
的
应助
被
123
采纳，获得
10
7秒前
小海豹
发布了新的
文献求助
30
8秒前
Pendragon
发布了新的
文献求助
10
8秒前
李健
上传了
应助文件
9秒前
李健的小迷弟
的
应助
被
SimonL
采纳，获得
10
9秒前
NexusExplorer
的
应助
被
叶秋
采纳，获得
10
12秒前
遇上就这样吧
的
应助
被
失眠的惜天
采纳，获得
30
12秒前
852
上传了
应助文件
13秒前
科研通AI5
上传了
应助文件
13秒前
哈哈hehe
完成签到，获得积分
10
14秒前
SMG
发布了新的
文献求助
10
14秒前
科研通AI5
上传了
应助文件
15秒前
研友_VZG7GZ
的
应助
被
絮甯
采纳，获得
10
15秒前
Chenzhs
完成签到，获得积分
10
15秒前
zhangfengsheng
完成签到，获得积分
10
18秒前
小二郎
上传了
应助文件
18秒前
搜集达人
的
应助
被
笔芯
采纳，获得
10
19秒前
潘润朗
发布了新的
文献求助
10
19秒前
Rn
完成签到
，获得积分
10
19秒前
小白鹅爱学习
驳回了
Owen
的
应助
19秒前
友好的难敌
发布了新的
文献求助
10
22秒前
搞怪的世德
完成签到，获得积分
20
22秒前
yy
发布了新的
文献求助
10
22秒前
DRain
完成签到，获得积分
10
23秒前
北笙
完成签到，获得积分
10
23秒前
李健的小迷弟
上传了
应助文件
24秒前
NexusExplorer
上传了
应助文件
24秒前
叶落孤城
发布了新的
文献求助
10
25秒前
叶秋
完成签到，获得积分
10
26秒前
科研通AI5
上传了
应助文件
27秒前
潘润朗
完成签到，获得积分
10
28秒前
高分求助中
Assessing and Diagnosing Young Children with Neurodevelopmental Disorders (2nd Edition)
700
The Elgar Companion to Consumer Behaviour and the Sustainable Development Goals
540
The Martian climate revisited: atmosphere and environment of a desert planet
500
Images that translate
500
Transnational East Asian Studies
400
Towards a spatial history of contemporary art in China
400
Mapping the Stars: Celebrity, Metonymy, and the Networked Politics of Identity
400
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
物理
生物化学
纳米技术
计算机科学
化学工程
内科学
复合材料
物理化学
电极
遗传学
量子力学
基因
冶金
催化作用
热门帖子
关注
科研通微信公众号，转发送积分
3844081
求助须知：如何正确求助？哪些是违规求助？
3386398
关于积分的说明
10545151
捐赠科研通
3107144
什么是DOI，文献DOI怎么找？
1711453
邀请新用户注册赠送积分活动
824113
科研通“疑难数据库（出版商）”最低求助积分说明
774478
今日热心研友
cdercder
88
1420
SYLH
1720
科研助手6
90
766
coolkid
52
610
昏睡的蟠桃
1010
挖掘机
950
猪猪hero
35
440
FelixChen
41
380
HEIKU
38
390
BINGBING
19
510
无语的安白
34
340
冰魂
18
470
hjyylab
640
Singularity
26
310
hanzhipad
22
340
小茄子爷爷
550
从容芮
16
360
jenningseastera
520
OCDer
500
个性归尘
500
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
cdercder
SYLH
科研助手6
coolkid
昏睡的蟠桃
挖掘机
猪猪hero
FelixChen
HEIKU
BINGBING
无语的安白
冰魂
hjyylab
Singularity
hanzhipad
小茄子爷爷
从容芮
jenningseastera
OCDer
个性归尘
皖公网安备34019202002308
