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

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

رای میدهم ♥
×
  • 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

    Luigia Aiello Richard W. Weyhrauch (auth.) Wolfgang Bibel Robert Kowalski (eds.)

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