Download - Formal description and verification of Hybrid Rule/Frame-based Expert Systems

Transcript