×
  • Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

    Martin Davis

Click on cover to enlarge.
Buy This Book
From Amazon.