Multi-completion with Termination Tools (System Description).

Haruhiko Sato Sarah Winkler Masahito Kurihara Aart Middeldorp

Published in: IJCAR (2008)

Keyphrases

software tools
end users
neural network
term rewriting
artificial intelligence
search engine
computer vision
clustering algorithm
multiscale
relational databases
user friendly