Login / Signup

Omitting Types of Prenex Formulas.

C. C. Chang
Published in: J. Symb. Log. (1967)
Keyphrases
  • information retrieval
  • databases
  • information systems
  • genetic algorithm
  • multi agent
  • digital libraries
  • hidden markov models