01698753

a

01698753 Benzm\"uller, Christoph Meier, Andreas Sorge, Volker Distributed assertion retrieval. Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schlo{\ss} Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 7 p. (2001). 2001 Linz: Univ. Linz EN

http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/