Skip to content

Formal Description and Verification of Knowledge Base Redundancy and Subsumption.

Nga Kwo Liu

VenueCICCI
Year1993
ProceedingsICCI

Browse the full ICCI paper archive.