Interactive verification of knowledge-based systems

Authors
Musa Jafar A.Terry Bahill
Citation
Musa Jafar et A.terry Bahill, Interactive verification of knowledge-based systems, IEEE expert IEEE expert intelligent systems and their applications , 8(1), 1993, pp. 25-32
Journal title
IEEE expert IEEE expert intelligent systems and their applications → ACNP
ISSN journal
08859000
Volume
8
Issue
1
Year of publication
1993
Pages
25 - 32
Database
ACNP
SICI code