A semantic wiki for mathematical knowledge management
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a semantic wiki for mathematical knowledge management }}
- [[]]
bibtex
{{#vardefine:pagename|A semantic wiki for mathematical knowledge management }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about A semantic wiki for mathematical knowledge managementRDF feed
| Author | Christoph Lange 0002 +, and Michael Kohlhase + |
| Bibtype | inproceedings + |
| Booktitle | SemWiki + |
| Doi | http://www.ceur-ws.org/Vol-206/paper15.pdf + |
| Key | dblp:conf/semwiki/0002k06 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semwiki/0002K06 + |
| Tag | Semantic wiki +, and Computer science + |
| Title | A Semantic Wiki for Mathematical Knowledge Management + |
| Year | 2006 + |
