Login / Signup
Symbolic Reasoning Methods in Rewriting Logic and Maude.
José Meseguer
Published in:
WoLLIC (2018)
Keyphrases
</>
genetic algorithm
data sets
neural network
expert systems
data mining techniques
logic programming
symbolic reasoning