Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 42326
    ISBN: 9783642313653
    UPC: 10.1007/978-3-642-31365-3
    Title: Automated Reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
    Author: Gramlich, Bernhard.
    Publication Info:
    Item Type: Language material

Additional Resources