Certification Monads.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2014)

Keyphrases

third party
database administration
social networks
exam preparation
data mining
computer vision
multi agent systems
probabilistic model