Author： Siebert Pallardy Judy
Publisher： The Charleston Company
ISSN： 1525-4003
Source： The Charleston Advisor, Vol.1, Iss.2, 1999-10, pp. : 14-14
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
Automata-Based Axiom Pinpointing
By Baader Franz Peñaloza Rafael
Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. :
Access to resources
Recommend
Phrase parsers from multi-axiom grammars
By Rus T. Jones J.S.
Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. :
Finite axiom systems for testing preorder and De Simone process languages
By Ulidowski
Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. :
Institute develops robot evaluation tests
Assembly Automation, Vol. 6, Iss. 2, 1993-12 ,pp. :