A Tough Nut for Mathematical Knowledge Management

M Pollet, Manfred Kerber, M Kohlhase

Research output: Contribution to conference (unpublished)Paper

2 Citations (Scopus)
Original languageEnglish
Pages81-95
Number of pages15
DOIs
Publication statusPublished - 1 Jan 2006
EventMathematical Knowledge Management , 4th International Conference (MKM 2005), Bremen, Germany, 15-17 July -
Duration: 1 Jan 2006 → …

Conference

ConferenceMathematical Knowledge Management , 4th International Conference (MKM 2005), Bremen, Germany, 15-17 July
Period1/01/06 → …

Cite this