Login / Signup

First-order Spectra with One Variable.

Etienne Grandjean
Published in: Computation Theory and Logic (1987)
Keyphrases
  • first order logic
  • higher order
  • real time
  • neural network
  • data mining
  • decision trees
  • feature extraction
  • principal component analysis
  • horn clauses
  • spectral data
  • quantifier elimination