Login / Signup

Recursive modal unification for reasoning with knowledge using a graph representation.

M. C. ChanBrian J. GarnerEric Tsui
Published in: Knowl. Based Syst. (1988)
Keyphrases