Login / Signup
Representing Isabelle in LF
Florian Rabe
Published in:
LFMTP (2010)
Keyphrases
</>
theorem prover
probability distribution
graphical representation
database
artificial intelligence
high level
bayesian networks
multi agent
lower bound
evolutionary algorithm
multiresolution