Representing Isabelle in LF

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