در نهمین جشنواره وب ایران از لیب دی ال حمایت کنید!

این پنجره فقط یک مرتبه به شما نمایش داده می شود. پس همین الان اقدام کنید :)

رای میدهم ♥
×
  • 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