The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Bookmark and Share
shi yong deng shi ti huan ce lue de guang yi gui jie
Pages: 1601-1603
Year: Issue:  21
Journal: Chinese Science Bulletin

Keyword:  广义归结替换策略公理子句集当且仅当调整式反身性合取范式文献线性演绎;
Abstract: <正> 本文将Robinson及Wos 1969年提出的等式替换策略应用于王湘浩及刘叙华1982年提出的广义归结中,使广义归结中处理等式更自然、简单,而且,广义归结中引入等式替换策略消除等式公理后,仍然是完备的。
Related Articles
No related articles found