Adam Grabowski, Markus Moschner. Managing Heterogeneous Theories within a Mathematical Knowledge Repository. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 116-129, Springer, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.