http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Symbolic computation and automated reasoning
CALCULEMUS-2000 Symposium (2000 : St. Andrews, Scotland)
edited by Manfred Kerber, Michael Kohlhase.
Includes bibliographical references and index.