Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
ISBN:9783540421276在线阅读本书 This book presents revised full papers from the 10th International Workshop on ...
Logic Based Program Synthesis and Transformation 10 th International Workshop LOPSTR 2000 London UK July 24 28 2000 Selected Papers