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