Collaborative Interactive Theorem Proving with Clide.
Martin RingChristoph LüthPublished in: ITP (2014)
Keyphrases
- interactive theorem proving
- collaborative learning
- data mining
- collaborative environment
- bayesian networks
- computer supported collaborative learning
- collaborative activities
- databases
- information systems
- video sequences
- expert systems
- artificial neural networks
- artificial intelligence
- knowledge sharing
- genetic algorithm
- geographically dispersed
- collaborative systems