×
  • Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

    Michel Parigot

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read