AK Peters, Ltd. · Springer, Berlin
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | |
|---|---|---|---|
| Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers | 978-3-540-31430-1 (3-540-31430-X) | 2006 | |
| OMDoc -- An Open Markup Format for Mathematical Documents : Foreword by Alan Bundy: Version 1.2 | 978-3-540-37897-6 (3-540-37897-9) | 2006 | |
| Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium | 978-1-56881-145-1 (1-56881-145-4) | 2001 |
M. K. · Miacheal. Klaus · Michael Kalisch · Michael Keilus · Michael Kellogg · Michael Kelsey · Michael Klaus · Michael Klose · Michael Kloss · Michael Kluck · Michael Kluge · Michael Koelsch · Michael Koliska · Michael Kulka · Michal Kalecki · Michal Kowalski · Michal Kulecki · Michel Kalika · Michelle Kalis · Michelle Kells