Large Formal Wikis: Issues and Solutions

Authors :: Davenport, J.
Farmer, W.
Urban, J.
Rabe, F.
Alama, J.A.
Brink, K.J.
Mamane, L.E.
Davenport, J.
Farmer, W.
Urban, J.
Rabe, F.
Alama, J.A.
Brink, K.J.
Mamane, L.E.
Source :: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings; 133; 148; 9783642226724; Lecture Notes in Computer Science ; 6824; Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings~~133~148~~9783642226724~~~~Lecture Notes in Computer Science ; 6824~
Publication Year :: 2011
Abstract: Contains fulltext : 91990.pdf (Publisher’s version ) (Closed access)

Database :: OAIster
Journal :: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings; 133; 148; 9783642226724; Lecture Notes in Computer Science ; 6824; Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings~~133~148~~9783642226724~~~~Lecture Notes in Computer Science ; 6824~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1377143871
Document Type :: Electronic Resource