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
基于谓词逻辑的归结原理研究 The Study of Resolution Principle Based on Predicate Logic
By 敖友云
Computer Science and Application, Vol. 01, Iss. 02, 2011-09 ,pp. :