Skip to main navigation Skip to search Skip to main content

Formal description and verification of hybrid rule/frame-based expert systems

  • Chi Keung Simon Shiu
  • , James N.K. Liu
  • , Daniel S. Yeung

Research output: Journal article publicationJournal articleAcademic researchpeer-review

Fingerprint

Dive into the research topics of 'Formal description and verification of hybrid rule/frame-based expert systems'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science