Multi-Completion with Termination Tools.

Sarah Winkler Haruhiko Sato Aart Middeldorp Masahito Kurihara

Published in: J. Autom. Reason. (2013)

Keyphrases

software tools
decision making
real world
artificial intelligence
software engineering
building blocks
user friendly
design decisions
computer vision
image processing
data structure
information technology
relational databases
learning systems