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