Conference
Licensing the Mizar Mathematical Library.
Authors
Alama J; Kohlhase M; Mamane L; Naumowicz A; Rudnicki P; Urban J
Editors
Davenport JH; Farmer WM; Urban J; Rabe F
Series
Lecture Notes in Computer Science
Volume
6824
Pagination
pp. 149-163
Publisher
Springer
Publication Date
2011
ISBN-13
978-3-642-22672-4
Conference proceedings
Calculemus/MKM