Licensing the Mizar mathematical library

Authors :: Davenport, J.
Farmer, W.
Urban, J.
Rabe, F.
Alama, J.A.
Kohlhase, M.
Mamane, L.E.
Naumowicz, A.
Rudnicki, P.
Davenport, J.
Farmer, W.
Urban, J.
Rabe, F.
Alama, J.A.
Kohlhase, M.
Mamane, L.E.
Naumowicz, A.
Rudnicki, P.
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; 149; 163; 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~~149~163~~9783642226724~~~~Lecture Notes in Computer Science ; 6824~
Publication Year :: 2011
Abstract: Contains fulltext : 92003.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; 149; 163; 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~~149~163~~9783642226724~~~~Lecture Notes in Computer Science ; 6824~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1366726137
Document Type :: Electronic Resource