AC-Unification Race: The System Solving Approach And Its Implementation.

Mohamed Adi Claude Kirchner

Published in: DISCO (1990)

Keyphrases

database
computer vision
higher order
np complete
theorem proving
data mining
decision making
knowledge base