Login / Signup
Variants in the Infinitary Unification Wonderland.
José Meseguer
Published in:
WRLA@ETAPS (2020)
Keyphrases
</>
higher order
database systems
expert systems
viewpoint
database
neural network
genetic algorithm
information systems
decision making
multimedia
inference rules
automated theorem proving