Login / Signup
Localized Operational Termination in General Logics.
Salvador Lucas
José Meseguer
Published in:
Software, Services, and Systems (2015)
Keyphrases
</>
neural network
evolutionary algorithm
special case
closely related
data sets
genetic algorithm
artificial intelligence
higher order
expressive power
active databases