Login / Signup

Localized Operational Termination in General Logics.

Salvador LucasJosé 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