![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Chen Lizhen Dai; Xiaogang Ruan; Jing
Publisher: Inderscience Publishers
ISSN: 1746-6172
Source: International Journal of Modelling, Identification and Control, Vol.14, Iss.4, 2011-10, pp. : 286-293
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/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)
Automata-Based Axiom Pinpointing
By Baader Franz Peñaloza Rafael
Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Autonomous Robots, Vol. 17, Iss. 1, 2004-07 ,pp. :