Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 18618
    ISBN: 9783540322542
    UPC: 10.1007/b106663
    Title: Mechanizing Mathematical ReasoningEssays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
    Author: Hutter, Dieter.
    Publication Info:
    Item Type: Language material

Additional Resources