Evaluation of verification tools for knowledge-based systems

Author: Preece A.D.   Talbot S.   Vignollet L.  

Publisher: Academic Press

ISSN: 1071-5819

Source: International Journal of Human-Computer Studies, Vol.47, Iss.5, 1997-11, pp. : 629-658

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract