Nga Kwo Liu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

1 Nga Kwo Liu: Formal Description and Verification of Knowledge Base Redundancy and Subsumption. ICCI 1993: 385-389