Login / Signup

Oracles and Quantifiers.

Johann A. MakowskyY. B. Pnueli
Published in: CSL (1993)
Keyphrases
  • active learning
  • first order logic
  • natural language
  • test cases
  • databases
  • feature selection
  • expert systems
  • learning process
  • object oriented