author = {B. Buchberger and O. Caprotti},
title = {{First International Workshop on Mathematical Knowledge Management (MKM 2001)}},
language = {english},
year = {2001},
month = {September},
annote = {2001-09-24-B},
editor = {B. Buchberger and O. Caprotti},
length = {0},
conferencename = {First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria},
url = {www.risc.uni-linz.ac.at/institute/conferences/MKM2001/}