Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 35979
    ISBN: 9783540730866
    UPC: 10.1007/978-3-540-73086-6
    Title: Towards Mechanized Mathematical Assistants14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
    Author: Kauers, Manuel.
    Publication Info:
    Item Type: Language material

Additional Resources