×
  • Automated Theorem Proving

    Wolfgang Bibel (auth.)

Click on cover to enlarge.
6 - 7Hours to read