Springer Berlin Heidelberg · The MIT Press
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist | 978-0-262-01125-9 (0-262-01125-5) | 1991 | Giuseppe Longo | |
| Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 | 978-3-540-00568-1 (3-540-00568-4) | 2003 | Bruno Buchberger · James Harold Davenport | |
| Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings | 978-3-540-23029-8 (3-540-23029-7) | 2008 | Andrzej Trybulec · Grzegorz Bancerek |