Login / Signup

The Impossibility of the Automation of Logical Reasoning.

Larry Wos
Published in: CADE (1992)
Keyphrases
  • logical reasoning
  • formal semantics
  • neural network
  • data structure
  • database
  • artificial intelligence
  • image processing
  • digital libraries