“Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch”

Creators: Kohlhase, Andrea and Kohlhase, Michael
Title: “Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch”
Item Type: Book Section
Page Range: pp. 266-279
Additional Information: LNAI 4573
Date: 2007
Divisions: Informationsmanagement
Citation:

Kohlhase, Andrea and Kohlhase, Michael (2007) “Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch”. In: Towards Mechanized Mathematical Assistants. MKM/Calculemus (ed. by Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger). Springer Verlag, pp. 266-279. ISBN 978-3-540-73083-5

Actions (login required)

View Item View Item