Catalog

Print Record Preview

Catalog Search






  1. Bib ID# 32262
    ISBN: 9783642357220
    UPC: 10.1007/978-3-642-35722-0
    Title: Logical Foundations of Computer ScienceInternational Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Author: Artemov, Sergei.
    Publication Info:
    Item Type: Language material

Additional Resources