×
  • Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

    Ian Hodkinson Frank Wolter Michael Zakharyaschev (auth.) Robert Nieuwenhuis Andrei Voronkov (eds.)

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