Publication
Detail
Publication date: 01/01/2011Licensing the Mizar Mathematical Library
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 |