×
  • Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

    Harald Ganzinger

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read