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