Unification in Incompletely Specified Theories: A Case Study.

Staffan Bonnier

Published in: MFCS (1991)

Keyphrases

equational theories
case study
test bed
higher order
theoretical framework
feature selection
image processing
cognitive psychology
real time
databases
artificial intelligence
theorem proving