Login / Signup

The Logic of Computer Programming.

Zohar MannaRichard J. Waldinger
Published in: IEEE Trans. Software Eng. (1978)
Keyphrases
  • computer programming
  • programming concepts
  • computer programs
  • classical logic
  • computer science
  • logic programming
  • modal logic
  • learning process
  • programming course
  • artificial intelligence
  • knowledge base
  • case study