Goodreads Librarians Group Discussions Mentioning Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Showing 1-2 of 2
topics | posts | views | last activity | |
---|---|---|---|---|
![]() |
1013 | 459 | Feb 25, 2021 11:19AM | |
Clean up XII | 972 | 460 | Apr 12, 2021 01:23PM |