Proving Equality Theorems with Hyper-Linking.

Geoffrey D. Alexander David A. Plaisted

Published in: CADE (1992)

Keyphrases

neural network
database
search engine
social networks
case study
feature extraction
query processing
equivalence relation
digital topology