×
  • Automated Theorem Proving. A Logical Basis

    D. W. Loveland (Auth.)

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