الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-31683-1
Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

اقرأ المزيد
978-3-540-32656-4
Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

اقرأ المزيد
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3