C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving Termination Properties with mu-term.
Beatriz Alarcón
Raúl Gutiérrez
Salvador Lucas
Rafael Navarro-Marset
Published in:
AMAST (2010)
Keyphrases
</>
machine learning
learning algorithm
expert systems