-
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