Login / Signup
Unification Theories: New Results and Examples.
Florin F. Nichita
Published in:
Axioms (2019)
Keyphrases
</>
higher order
computer programs
real world
database
information retrieval
information systems
optimal solution
small number
training examples
theorem proving
key concepts
probability theory
equational theories