Login / Signup
Dynamic Typing: Syntax and Proof Theory.
Fritz Henglein
Published in:
Sci. Comput. Program. (1994)
Keyphrases
</>
proof theory
decision making
high level
proof theoretic
bayesian networks
default reasoning