×
  • Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

    Nikolaj Bjørner (auth.)

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