%0 Journal Article
%T Validating inductive hypotheses by mode inference<br>Validating Inductive Hypotheses by Mode Inference
%A Wang Zhijian
%A <br>Wang
%A Zhijian
%J 计算机科学技术学报
%D 1993
%I 
%X Some criteria based on mode inference for validating inductive hypotheses are presented in this pa- per.Mode inference is carried out mechanically,thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.
%K Mode inference
%K hypothesis validation
%K logic programming<br>逻辑程序
%K 方式推理
%K 假设确认
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=70A12BDC5F3F9B03B8CBE16D0303EF3E&yid=D418FDC97F7C2EBA&vid=5D311CA918CA9A03&iid=0B39A22176CE99FB&sid=76B5E24D6EC46B4B&eid=205BE674D84A456D&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=7