Login / Signup

Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.

K. AspetsbergerStefan Bayerl
Published in: GWAI (1985)
Keyphrases
  • propositional logic
  • computational complexity
  • machine learning
  • natural language