Reasoning About Naming Systems.

Mic Bowman Saumya K. Debray Larry L. Peterson

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

expert systems
complex systems
databases
information retrieval
management system
intelligent systems
website
knowledge based systems
retrieval systems
computing systems
systems require