Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected ... Notes in Computer Science Book 4915) Book Discussion

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »
see all book discussions »
post a new topic »