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

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

رای میدهم ♥
×
  • Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

    Walter Carnielli Marcelo Coniglio Dov M. Gabbay Paula Gouveia Cristina Sernadas

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