Canonization for disjoint unions of theories.

Sava Krstic Sylvain Conchon

Published in: Inf. Comput. (2005)

Keyphrases

pairwise
neural network
machine learning
legal knowledge
computer vision
multimedia
case study
database systems
image sequences
learning environment
user interface