Login / Signup

Completeness in Classical Logic of Complex Algorithms.

Helena Rasiowa
Published in: MFCS (1980)
Keyphrases
  • classical logic
  • high level
  • database
  • software engineering
  • neural network
  • data mining
  • temporal logic