发明名称 ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEM AND MEHTOD FOR PINPOINTING SET OF AXIOM INDUCING ILLOGICAL CONCEPT USING THE SAME
摘要
申请公布号 KR101195530(B1) 申请公布日期 2012.10.30
申请号 KR20110017541 申请日期 2011.02.28
申请人 发明人
分类号 G06F17/30 主分类号 G06F17/30
代理机构 代理人
主权项
地址