AC Completion with Termination Tools.

Sarah Winkler Aart Middeldorp

Published in: CADE (2011)

Keyphrases

software tools
data sets
databases
neural network
evolutionary algorithm
software development
decision support
building blocks
first order logic
user friendly
design principles
software developers