The TM System for Repairing Non-Theorems.

Simon Colton Alison Pease

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

digital topology
search algorithm
high quality
real time
data sets
data mining
computer vision
information systems
website
case study
trade off