Login / Signup
Nominal C-Unification.
Mauricio Ayala-Rincón
Washington de Carvalho Segundo
Maribel Fernández
Daniele Nantes-Sobrinho
Published in:
CoRR (2017)
Keyphrases
</>
higher order
theorem proving
knuth bendix
theorem prover
equational theories
automated theorem proving
pairwise
database
neural network
artificial intelligence
decision making
knowledge base
reinforcement learning
expert systems
artificial neural networks