×
  • Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

    Alan Bundy Julian Richardson (auth.) Harald Ganzinger David McAllester Andrei Voronkov (eds.)

Click on cover to enlarge.
9 - 10Hours to read