×
  • Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

    François Fages (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read