Publication
Detail
Publication date: 01/01/2011Metadata for a wiki of formalized mathematics
| URL | http://CEUR-WS.org/Vol-767/paper-02.pdf |
|---|---|
| Publisher | CEUR Workshop Proceedings |
| Volume | 767 |
| URL | http://CEUR-WS.org/Vol-767/paper-02.pdf |
| Publisher | CEUR Workshop Proceedings |
| Volume | 767 |