Five Axioms of Alpha-Conversion.

Andrew D. Gordon Thomas F. Melham

Published in: TPHOLs (1996)

Keyphrases

knowledge base
first order logic
databases
artificial intelligence
case study
pattern recognition
multi agent systems
information technology
image retrieval
graph cuts