×
  • 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

    Jörg H. Siekmann (auth.)

Click on cover to enlarge.
11 - 13Hours to read