Login / Signup

Cuting Plane Versus Frege Proof Systems.

Andreas Goerdt
Published in: CSL (1990)
Keyphrases
  • neural network
  • website
  • computer systems
  • multiscale
  • natural language
  • moving objects
  • intelligent systems
  • knowledge based systems