Login / Signup
Reasoning About Programs.
Richard J. Waldinger
Karl N. Levitt
Published in:
POPL (1973)
Keyphrases
</>
spatial reasoning
data sets
computer programs
qualitative reasoning
information systems
web pages
data structure
expert systems
object oriented