LOPSTR 2004 ((2004 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
Etalle, Sandro.; SpringerLink (Online service); LOPSTR 2004 ((2004 :)
(Language materials, printed)