Browse wiki

A Semantic Wiki for Mathematical Knowledge Management

Accepted by	SemWiki2006 +
Author	Christoph Lange + , Michael Kohlhase +
First page	188  +
Has topic	Semantic wiki + , Mathematical Knowledge Management + , OMDoc +
Last page	201  +
Modification date
Presented as	Demo + , Poster +
Presented at	SemWiki2006 +
Categories	Paper  +

hide properties that link here

Christoph Lange +	Wrote

 

Enter the name of the page to start browsing from.