Login / Signup
Reasoning About Gamma Programs.
Lindsay Errington
Chris Hankin
Thomas P. Jensen
Published in:
Theory and Formal Methods (1993)
Keyphrases
</>
computer programs
artificial intelligence
information systems
decision making
database systems
multiscale
evolutionary algorithm
spatial reasoning
qualitative reasoning
causal reasoning
intermediate level
automatic programming
formal theory
functional programs