Capture-Avoiding Substitution as a Nominal Algebra.

Murdoch Gabbay Aad Mathijssen

Published in: ICTAC (2006)

Keyphrases

information retrieval
information systems
knowledge base
search algorithm
mobile robot
machine learning
genetic algorithm
learning algorithm
computer vision
metadata
decision trees
video sequences
real numbers
boolean algebra
algebraic geometry