Detail

Publication date: 01/01/2011

Licensing the Mizar Mathematical Library

Authors

Jesse Alama, James Davenport, William Farmer, Michael Kohlhase, Lionel Mamane, Florian Rabe, Josef Urban, Adam Naumowicz, Piotr Rudnicki, Josef Urban,

URL http://www.springerlink.com/content/ru3t257337n08268
Publisher Springer
Series Lecture Notes in Computer Science
Volume 6824
URL http://www.springerlink.com/content/ru3t257337n08268
Publisher Springer
Series Lecture Notes in Computer Science
Volume 6824