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

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

رای میدهم ♥
×
  • 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

    L. Wos (auth.) D. W. Loveland (eds.)

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