RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @proceedings{RISC2234,
    author = {A. Asperti and B. Buchberger and J. H. Davenport},
    title = {{Mathematical Knowledge Management}},
    language = {english},
    series = {Lecture Notes in Computer Science},
    volume = {2594},
    publisher = {Springer - Verlag Berlin - Heidelberg - New York},
    isbn_issn = {ISSN 0302-9743, ISBN 3-540-005},
    year = {2003},
    annote = {2003-02-16-A},
    editor = {A. Asperti and B. Buchberger and J. H. Davenport},
    length = {223},
    conferencename = {Second International Conference on Mathematical Knowledge Management (MKM 2003), Bertinoro, Italy}
    }