“CPoint: Dissolving the Author’s Dilemma”

Creators: Kohlhase, Andrea and Kohlhase, Michael
Title: “CPoint: Dissolving the Author’s Dilemma”
Item Type: Book Section
Page Range: pp. 175-189
Additional Information: LNAI 3119
Date: 2004
Divisions: Informationsmanagement
Citation:

Kohlhase, Andrea and Kohlhase, Michael (2004) “CPoint: Dissolving the Author’s Dilemma”. In: Mathematical Knowledge Management, MKM’04 (eds. Andrea Asperti, Grzegorz Bancerek, and Andrej Trybulec). Springer Verlag, pp. 175-189.

Actions (login required)

View Item View Item