Catalog

Print Record Preview

Catalog Search






  1. Bib ID# 18956
    ISBN: 9783540316831
    UPC: 10.1007/b137785
    Title: Logic Based Program Synthesis and Transformation14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
    Author: Etalle, Sandro.
    Publication Info:
    Item Type: Language material

Additional Resources