×
  • Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

    Bibel W.

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