Login / Signup
The Logic of Computer Programming.
Zohar Manna
Richard 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