Browse wiki
From Semantic Portal Wiki
| Omdoc - an open markup format for mathematical documents |
| Author | Michael Kohlhase + |
|---|---|
| Bibtype | book + |
| Key | kohlhase2006omdoc + |
| Modification dateThis property is a special property in this wiki. | 5 January 2010 16:59:56 + |
| Publisher | Springer + |
| Tag | Proof theory +, Computer science + |
| Title | OMDoc - An Open Markup Format for Mathematical Documents + |
| Year | 2006 + |
| Categories | Book, Publication |
| hide properties that link here |
| No properties link to this page. |
