![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Hayashia Takeshi Kanekob Kazuaki Asanoc Fumihiko Luoa Zhi-Wei
Publisher: Taylor & Francis Ltd
ISSN: 1568-5535
Source: Advanced Robotics, Vol.25, Iss.1-2, 2011-01, pp. : 273-287
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/o.png)
![](/images/ico/ico5.png)
基于谓词逻辑的归结原理研究 The Study of Resolution Principle Based on Predicate Logic
By 敖友云
Computer Science and Application, Vol. 01, Iss. 02, 2011-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)