Login / Signup
A Special Case of Schematic Syntactic Unification.
David M. Cerna
Published in:
SYNASC (2021)
Keyphrases
</>
special case
natural language
higher order
np hard
theorem proving
approximation algorithms
computational complexity
syntactic semantic
theorem prover
objective function
website
information systems
data mining
neural network
databases
language generation
knuth bendix
data sets