×
  • Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

    Johann A. Makowsky (auth.) Nachum Dershowitz Andrei Voronkov (eds.)

Click on cover to enlarge.
12 - 14Hours to read