1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set...