Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN:3540266550
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN:3540326545