×
  • 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

    Robert S. Boyer J Strother Moore (auth.) Mark E. Stickel (eds.)

Click on cover to enlarge.
15 - 17Hours to read