Large Formal Wikis: Issues and Solutions

Jesse Alama Kasper Brink Lionel Mamane Josef Urban

Published in: CoRR (2011)

Keyphrases

computational issues
key issues
optimal solution
formal methods
learning environment
multi objective
data collection